25.4.9 sqrtd ¶

The sqrtd standard function calculates square root of the given 64-bit floating-point number represented as a uint<64> integer. It has the following prototype:

fun sqrtd = (uint<64> u) uint<64>: