def num.dot
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztomlimport Base
1355# a dot begins the fraction
1356def num.dot(st: Num) -> Num:
1357 Num{_nk, sign, _b, _ds, us, saw, _why} = st
1358 num.dot.go(Bool.and(saw, Bool.not(us)), sign)