Decimal64_floating-point_format loading ...