Yes. These algorithms (Grisu, Ryu, ...) all satisfy the "internal identity requirement", which means that they can print a double and read it back in to the sa

Yes. These algorithms (Grisu, Ryu, ...) all satisfy the "internal identity requirement", which means that they can print a double and read it back in to the same double. The harder part is to also produce the shortest of all possible string-representations. (And then picking the closest if there are many).