Re: rand48 replacement

[Fabien COELHO]

Pushed with that change and some others, notably:

Thanks for the improvements and the push!

--
Fabien.