Make random-number python3 compatible.

See #58.