In Operators§
See primary documentation in context for 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.