i32 / -i
