#ifndef __Random_h_
#define __Random_h_

#include <stdint.h>


/* Generate high quality random numbers.
 *
 * These automatically set the seed.  These are thread safe.
 *
 * These are just a wrapper around system routines.  I didn't make my own
 * random number generator.
 */

// Return a random integer between 0 and 0x7fffffff.  I.e. 31 bits.
int32_t getRandom31();

// Return a random 64 bit integer.
uint64_t getRandom64();

// Return a double between 0 and 1, inclusive of 0 but exclusive of 1.
double getRandomD();

#endif