Sgl_isinfinity
if (Sgl_isinfinity(right) && save!=0)
if (Sgl_isinfinity(opnd2)) {
if (Sgl_isinfinity(right) && save==0)