Updating: minor fixes.
Updating: improving prelude/integer.