def num.digs
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztomlimport Base
1522# a decimal digit, an underscore, a dot, or an exponent
1523def num.digs(st: Num, +cc: Char) -> Num:
1524 num.digs.go(Char.is_digit(cc), Char.is_eq(cc, '_'), Char.is_eq(cc, '.'),
1525 Char.is_eq(cc, 'e'), Char.is_eq(cc, 'E'), st, cc)