Updating: improving prelude/integer and libats/ML