3 ms·For a short while but I'm sure that bot makers would use a decimal library if this became common.by JupiterMoon 11y agoFor a short while but I'm sure that bot makers would use a decimal library if this became common.