Updting: improving prelude/integer_fixed