Issue 754 random numbers