I'm under the impression that people use decimal floats from IEEE 754-2008, which is Crenshaw's General Decimal Arithmetic at https://speleotrove.com/decimal/de

I'm under the impression that people use decimal floats from IEEE 754-2008, which is Crenshaw's General Decimal Arithmetic at https://speleotrove.com/decimal/decarith.html https://speleotrove.com/decimal/decarith.html . As I understand it, the regulations related to money can require specific rounding modes and a specific number of digits for intermediate representations. These are much easier to manage with, eg, Python's decimal module than doing everything as integers. For example, at https://news.ycombinator.com/item?id=36687627 https://news.ycombinator.com/item?id=36687627 I pointed to US law at https://www.law.cornell.edu/cfr/text/7/1005.83 https://www.law.cornell.edu/cfr/text/7/1005.83 with: (3) Divide the result in paragraph (a)(2) of this section by 5.5, and round down to three decimal places to compute the fuel cost adjustment factor; (4) Add the result in paragraph (a)(3) of this section to $1.91; (5) Divide the result in paragraph (a)(4) of this section by 480; (6) Round the result in paragraph (a)(5) of this section down to five decimal places to compute the mileage rate.