# File lib/backports/1.9.1/stdlib/prime.rb, line 243
    def succ
      raise NotImplementedError, "need to define `succ'"
    end