Use float64 for JSON numbers (required for Chrome)