float(i32) / i32
