String IO.  Completed MPIR 2.6.0 section 5.12.