Floating_point_arithmetic loading ...