Finished ZofQ. Finished Zsqrt_plain_pos.