i32 - i64 <= i
