IEEE 754 Decimal32 floating-point format implementation