Make randomNumber generate 2^53 values instead of 2^32 (or 2^31 for rand() platforms)