26.4.6 stof

The stof standard function converts a given string into a 32-bit floating-point number represented as a uint<32> integer. It has the following prototype:

fun stof = (string s) uint<32>: