class Sexp::PInteger