Generation of reals