Binary_floating-point_number loading ...