There is currently an `INT()` function to convert a STRING to an INTEGER. But there is not yet one for REALs.
There is currently an
INT()function to convert a STRING to an INTEGER.But there is not yet one for REALs.