coffee: add random number generator library.