public void MakeUpperBound() {
Debug.Assert(this.error < 0xFFFFFFFF);
uint uT = (this.error + 1) >> 1;
if (0 != uT && 0 != AddU(ref this.u0, uT) && 0 != AddU(ref this.u1, 1) && 0 != AddU(ref this.u2, 1)) {
Debug.Assert(0 == this.u2 && 0 == this.u1);
this.u2 = 0x80000000;
this.u0 = (this.u0 >> 1) + (this.u0 & 1);
this.exp++;
}
this.error = 0;
}