i32 / i32 * 1
