I think it'd be a good idea to propose a Decimal type, for situations where the location of the decimal point is logically part of the number. We discussed this in the November 2017 meeting; maybe it's time to follow up with Decimal again now that BigInt is at Stage 4.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
JavaScript, HTML, CSS, HTTP, performance, security, Bash, Unicode, i18n, macOS.