Add random_number() to rnd.[ch].  Preparatory for upcoming changes.