type(i32 / i32)
