Floating-point_arithmetic loading ...