def secfrac.if
import bend-kit-time@0.3.0.0/time.bend as Timeimport Base
467def secfrac.if(dot: Bool, vs: List<&2, U32>, +s: String) -> Maybe<&2, P>:
468 match dot:
469 case True{}:
470 +t = String.drop(s, 1n)
471 secfrac.fin(vs, secfrac.go(t, at.head(t), 100000000, 0, 0))
472 case False{}:
473 Some{P{Con{0, vs}, s}}