Improved random number functions

Random0to1 was missing a cast to double before the division. Replaced ARC4RANDOM_MAX with standard defined UINT32_MAX.

RandomBOOL no longer uses expensive floating point division, but checks a random integer for odd or even.