format_time(): Use the timestamp type in the calculation