ported RandomNumbers