Updated print_double2string