toJSON(i ** i32)
