Reworked To_IPv4_String. It now uses a subtype to constrain the size of the output string. This simplified the implementation significantly.