let nat_of_sexp = Conv.nat_of_sexp