Binary floating-point number