Decimal32_floating-point_format loading ...