def secfrac
import bend-kit-time@0.3.0.0/time.bend as Timeimport Base
475# An optional '.' and one or more digits, as nanoseconds.
476def secfrac(p: P) -> Maybe<&2, P>:
477 match p:
478 case P{vs, +s}:
479 secfrac.if(String.starts_with(s, "."), vs, s)