2.9.3
Usual prefixed functions on reals :
rdiv
rdiv
is the prefixed form of the division function.
Input :
rdiv(3,2)
Output :
3/2
Input :
rdiv(3.2,2.1
Output :
1.52380952381