put double2string in a separate file