toJSON(1 ** f64)
