Tools for generating random values.