Searched refs:aextradigit (Results 1 – 1 of 1) sorted by relevance
1237 int aextradigit = 0; in add() local1240 aextradigit = a.align(b.exp); in add()1250 aextradigit = a.complement(aextradigit); in add()1284 result.mant[0] = aextradigit+bextradigit; in add()1285 aextradigit = 0; in add()1301 final int excp = result.round(aextradigit + bextradigit); in add()