toJSON(1 - f64)
