returns time in format AhBmTs [X.YYYY]
function readableTime input Real sec; output String str; end readableTime;