Used by com.drguildo.stdlib.Random.