Use rand48 rather than rand