nl_tokens: TO FLOAT64 // FUNCTION : toFloat64 ( high low ) Creates a double - precision floating - point number from a higher order word ( 32 - bit integer ) and a lower order word ( 32 - bit integer ) .
pl_tokens: <mask> toFloat64 ( high , low ) { UINT32_VIEW [ HIGH ] = high ; UINT32_VIEW [ LOW ] = low ; return FLOAT64_VIEW [ 0 ] ; }