The IEEE754 standard requires a standard conform floating point
implementation besides add,mul,sub,div and rounding functions and lots of
other things also to provide sqrt and remainder as builtin function.
Shouldn't be sqrt and remainder (or mod) also be added to the FloatingPoint
protocol now that also the rounding functions might be added with SE-0113:
Add integral rounding functions to FloatingPoint