25.4.8 sqrtf ¶

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

fun sqrtf = (uint<32> u) uint<32>: