toJSON(0.5 / i64)
