def time.four
import ezsys@0.1.0.0/src/clock.bend as Clockimport Base
91# four decimal places: thousands, hundreds, tens and units
92def time.four(+num: U32) -> String:
93 SCon{time.digit((num / 1000 : U32)), SCon{time.digit((num / 100 : U32)),
94 SCon{time.digit((num / 10 : U32)), SCon{time.digit(num), SNil{}}}}}