frandom: A fast random number generator