add floating point functions: float_pair, float_exponent, float_mantissa