Updating: improving prelude/integer.