What is a "double integer"?

[caugner]

MDN URL

https://github.com/search?q=repo%3Amdn%2Fcontent%20%2Fdouble%20integer%2F&type=code

What specific section or headline is this issue about?

No response

What information was incorrect, unhelpful, or incomplete?

I came across 9 mentions of "double integer" in mdn/content, and this seems to be contradictory.

For example:
https://developer.mozilla.org/en-US/docs/Web/API/CSSMathSum/CSSMathSum#values

What did you expect to see?

I would expect just "double" instead.

See the spec: https://drafts.css-houdini.org/css-typed-om/#typedefdef-cssnumberish

Do you have any supporting links, references, or citations?

No response

Do you have anything more you want to share?

No response

[bsmth]

Just in terms of documenting types, I'd also like to link these here, which are related:

• chore: Change ints to 'number' for ProgressEvent properties #39574
• Discussion: Differentiate number values that can be integers vs real numbers