ieee754dp_one
return ieee754dp_div(ieee754dp_one(0), d);
return ieee754dp_div(ieee754dp_one(0), ieee754dp_sqrt(d));
return ieee754dp_one(x < 0);