Patch from Lorenzo for better handling of non-normalized bignums.