don't rely JSON serializer precision for floats