fix spec for Integer.digits/2