Better simplification of cast(cast(int))

This helps bounds inference prove that things aren't going to overflow.