5.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