Int as a type serves different purposes. Counting, indexing, rounding floats, exact arithmetic etc.

These have completely different requirements and edge cases. It was a mistake trying to tackle all of these with a singular type.