def time.digit

import ezsys@0.1.0.0/src/clock.bend as Clock

import Base

57# the decimal digit of n's last place
58def time.digit(num: U32) -> Char:
59  time.digit.at(U32.to_nat((num % 10 : U32)))

Uses (5)