add is_nonneg_int (passed)