Converting Military Time Format (hhmm) to Time Format (hh:mm)

[#1]

I need to convert military time in the hhmm format, e.g. 1432 or 725 to hh:mm format e.g. 14:32 to 7:25.  Is there a simple formula that can make the conversion, or should I use a script for it?  Thanks.

[#2]

Still another approach that avoids strings altogether:

dt << New Column( "time",
    Numeric,
    "Continuous",
    Format( "hr:m", 12 ),
    Formula( Floor( :Military / 100 ) * 3600 + Mod( :Military, 100 ) * 60 )
);

[#3]

How about converting from Military Time to regular?