This is redundant with definitions in `random.jl`