toJSON(ok ? false : i32)
