[sfk]

The elegant solution escapes me for now, but you could treat the odds and evens from the 1-5 function as a biased bit stream, apply a von Neumann corrector and then use the resulting stream.

[jbm]

Now I remember why we computer scientists always looked up to the Math majors...