float
This matches the behavior of other browsers. We did the equivalent change for <integer> in b86377b We continue to store these as doubles for the extra precision.
b86377b