problems 10, 12, 13, 14 & 16; type header for (almost) arbitrarily large integers