rootfp

realizing  exu stream  exu block  compute phase   operation   in the binary floating point value domain   that produces condition codes

native on: none

Floating point square root in current rounding towards positive infinity.

---

rootfp(f x) → f r0

operands: like Addf [ff:f]