Floating_point_number loading ...