Floating-point_representation loading ...