Slightly faster random generation.