Long story short: random numbers are hard to get right. :)