toJSON(f64 != 1)
