Ensure that numbers generated are really time randomized