# File lib/rfuzz/random.rb, line 88
88:     def num(max)
89:       ints(1, max)[0]
90:     end