digread          2231 src/number.c       int digread = FALSE;
digread          2252 src/number.c           digread = TRUE;
digread          2256 src/number.c           digread = TRUE;
digread          2265 src/number.c           } else if (digread && c == '#') {
digread          2275 src/number.c                       digread = TRUE;