toJSON(0.5 ** f64)
