def time.three
import ezsys@0.1.0.0/src/clock.bend as Clockimport Base
86# three decimal places: hundreds, tens and units
87def time.three(+num: U32) -> String:
88 SCon{time.digit((num / 100 : U32)), SCon{time.digit((num / 10 : U32)),
89 SCon{time.digit(num), SNil{}}}}