Consequence of changing the definition of Nat.shiftl and Nat.shiftr.