toJSON(f64 ^ i)
