Standard ML library for generating random numbers - View it on GitHub