format exec time numbers