Decimal128_floating-point_format loading ...