ieee754dp_inf
return ieee754dp_inf(xs ^ ys);
return ieee754dp_inf(xs ^ ys);
return ieee754dp_inf(xs & ys);
return ieee754dp_inf(xs | ys);
return ieee754dp_inf(xs);
return ieee754dp_inf(rs);
return ieee754dp_inf(zs);
return ieee754dp_inf(zs);
return ieee754dp_inf(zs);
return ieee754dp_inf(zs);
return ieee754dp_inf(xs ^ ys);
return ieee754dp_inf(ys ^ 1);
return ieee754dp_inf(sn);
return ieee754dp_inf(0);
return ieee754dp_inf(1);