toJSON(i32 + i32)
