* random.c, random.h: New files: Random number support.