Proper conversion from fixed-point to floating-point numbers