added double_to_ascii_time function