Google random number generator algorithm