i64 > i + i
