Is anyone aware of specifications for the random number generator? Namely accuracy, repeatability, etc... Thanks.