ISAAC — crytographic number generator