toJSON(f64 != i32)
