Fully Redundant Decimal Arithmetic
Decimal floating-point: algorism for computers