Fixed_point_arithmetic loading ...