Some XML comments updated
Completed remaining bitwise operations in MPIR 2.6.0 section 5.11.
Size checks from MPIR 2.6.0 section 5.15.