ieee754sp_one
return ieee754sp_div(ieee754sp_one(0), s);
return ieee754sp_div(ieee754sp_one(0), ieee754sp_sqrt(s));
return ieee754sp_one(x < 0);