no_std IEEE 754-2019 Decimal128 for embedded use, with Kani-verified properties
no_std IEEE 754-2019 Decimal32 for embedded use, with Kani-verified properties
no_std IEEE 754-2019 Decimal64 for embedded use, with Kani-verified properties
Shared IEEE 754-2019 metadata types (Status, RoundingMode, IeeeClass) for the ferrodec family