IEEE_floating-point_standard loading ...