random numbers and suchlike