Re: [csswg-drafts] [css-syntax] Should numbers have type `integer` whenever the actual value is an integer? (#10238)

Ah right, we are still missing that edit, partially because of this issue (and partially because I forgot about it).

Okay, proposal:

A number is an integer if it either:
* has no decimal component or scinot component (`5.0` counts as "having a decimal component", so not an integer)
* has no decimal component, but has a non-negative scinot component (`5e0` is an integer, `5e3` is an integer, `5e-1` is not)
* has a decimal component with N digits after the decimal point, a positive scinot component with value M, and N <= M (`5.0e0` is not an integer, `5.0e1` is an integer, `5.00e1` is not an integer.)

The serialization edit from #8538 will satisfy this; since we serialize to no more than 6 digits after the decimal point, and scinot doesn't kick in for large number until it's substantially larger than a million, any large-number scinot will *necessarily* be parsed as an integer.

-- 
GitHub Notification of comment by tabatkins
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/10238#issuecomment-2080095998 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Friday, 26 April 2024 20:45:18 UTC