# stub
require 'facets/core/numeric/succ'