[aardvark179]

JSON ser deser is usually dominated by floats rather than ints, and they are more expensive to handle.