Floating-point_number loading ...