positive_int_p 518 numeric.c positive_int_p(y)) || positive_int_p 519 numeric.c (positive_int_p(x) &&