random.h library in C++ but not in php

Useful function from C++ random.h library:
RandomChance(doublce probability)
You pass it a probability chance like 0.25
and the it will return true 1/4 of the times, other times
if will return false.

There is no such function in php, so that's one more area where php could improve,
perhaps add the "Random" class into SPL and include all the functions from the C++ random.h