toJSON(0.5 / f64)
