Single_precision_floating-point_format loading ...