Add and activate specs for random()