Random number utilities for use with stattering-generator