Eliminate ExtendedInt