int(i32) / i32
