toJSON(f64 != i)
