Work around a MacOS X 10.5 bug in frexpl().