toJSON(i32 ^ i)
