int(i32) / i
