i64 - i32 <= i
