Use rand48()