Decimal64 floating-point format