def num.expon.digit
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztomlimport Base
1581# a digit of the exponent
1582def num.expon.digit(digit: Bool, st: Num, +cc: Char) -> Num:
1583 match digit:
1584 case True{}:
1585 num.digit(st, cc, NEDig{})
1586 case False{}:
1587 num.bad(st, "invalid exponent")