taglinefilesource code
x260kernel/math/add.cint x1,x2,shift;
x263kernel/math/add.cx2 = src2->exponent & 0x7fff;
x264kernel/math/add.cif (x1 > x2) {
x267kernel/math/add.cshift = x1-x2;
x271kernel/math/add.cshift = x2-x1;