Decimal Floating Point (CloudMonk.io)
#redirect
decimal floating-point (DFP)