Use benny in random integer generator benchmark