Kind of finished the spec part

I fell asleep on my puter :( How to spec random numbers?