# For all IEEE machines, use Sun's fdlibm code.
libm-ieee754