Updating: improving prelude/integer_fixed