Rename random number provider