You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Insofar as many (some?) applications consuming JSON are at peace with presuming floats everywhere (given the Javascript heritage), an option to only ever emit `Float values for numbers (and never `Ints) would be helpful to simplify pattern matching, etc.
The text was updated successfully, but these errors were encountered:
Insofar as many (some?) applications consuming JSON are at peace with presuming floats everywhere (given the Javascript heritage), an option to only ever emit
`Float
values for numbers (and never`Int
s) would be helpful to simplify pattern matching, etc.The text was updated successfully, but these errors were encountered: