mp_integer: implement an optimisation for read_uint when we can read directly value by value from the input array.