Convert a double-precision floating-point number to the nearest single-precision floating-point number.
High word mask for the exponent of a double-precision floating-point number.
Return a double-precision floating-point number with the magnitude of x and the sign of y.
Return an integer corresponding to the unbiased exponent of a double-precision floating-point number.