Existing decimal usage in the web platform #80
Comments
|
I didn't know about this use of decimal numbers inside WebKit -- thanks for the tip! |
|
Interesting, looks like Chrome has this as well: https://source.chromium.org/chromium/chromium/src/+/refs/heads/main:third_party/blink/renderer/platform/wtf/decimal.h Looks like this operates with a 16-bit exponent and 64-bit mantissa. This probably continues the pattern that I noted in a decimal presentation a while ago: Everyone has different decimal details, and users don't run into these edge cases and don't care. |
|
Oh, I guess Mozilla contains the same code, used in the same way for input elements! https://searchfox.org/mozilla-central/search?q=symbol:T_mozilla%3A%3ADecimal&redirect=false |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I stumbled across https://github.com/WebKit/WebKit/blob/main/Source/WebCore/platform/Decimal.cpp today. This is apparently used for
<input>, see https://github.com/WebKit/WebKit/blob/main/Source/WebCore/html/InputType.cpp.I think a goal of this effort needs to be that it can serve as a replacement of this existing
Decimalclass (or expose the existing class to script).This relates to #4 but seemed different enough to warrant its own issue.
The text was updated successfully, but these errors were encountered: