Updating: improving prelude/integer