時間値を文字変換する時、先頭にゼロを埋める方法「1:30→01:30」

時間値のフォーマットとして「TIME」が有名だけど、
文字変換する際、「1:30」ではなく「01:30」のようにゼロを埋めて出力したい場合がある。
この場合、同じ時間値のフォーマット「TOD」が使えます。
意外に知られてない気がします。

data  DT1;    V  = "01:30"t;    V1 = put(V,time5.);    V2 = put(V,tod5.); run; データセットDT1 V       V1      V2 5400  1:30    01:30