So far I have been building output strings on the output device or jumping through hoops like this. The code segment below adds leading zeros to a minutes and seconds for a 4 digit display:
if mins < 10 AND seconds < 10 then
serout LED, LEDbaud,("0", #mins, "0", #seconds)
elseif mins < 10...