printf() now can print numbers >= 0x80000000 (bigger than 32 (or 31?) bit number). Int num was changed to unsigned long num.

Also features some minor changes to spelling etc. A major printf revision would be nice..