Random number from 0..7 only using a generator from 0 to 6