21.4.7 stod

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

fun stod = (string s) uint<64>: