added some extensions to make RandomNumberGenerator more user friendly