Documentation for infix /
assembled from the following pages:
Language documentation: Operators §
From Operators
(Operators) infix / §
multi sub infix:</>(Any, Any --> Numeric)
Coerces both argument to Numeric and divides the left through the right number. Division of Int values returns Rat, otherwise the "wider type" rule described in Numeric holds.