Floating-point number in fixed-point notation