Update print_double2string/README