Little library to produce random numbers