is_digit          838 kern/subr_prf.c 			while (is_digit(ch)) {
is_digit          858 kern/subr_prf.c 			} while (is_digit(ch));