C++: bigrand-> rand() * RAND_MAX + rand()