* numbers.texi (Integer Basics, Bitwise Operations): * objects.texi (Integer Type): Update for integers now being 30-bit.