A Java double as the app writes it into an event's extra: always with its
fraction (1.0, -0.0, 0.25), which JSON.stringify of a whole number
drops. The recordings carry such a number wherever the app's field is a
double, so a builder writes it as the literal.
A Java
doubleas the app writes it into an event's extra: always with its fraction (1.0,-0.0,0.25), whichJSON.stringifyof a whole number drops. The recordings carry such a number wherever the app's field is a double, so a builder writes it as the literal.