Documentation for infix div assembled from the following pages:
Language documentation: Operators §
From Operators
(Operators) infix div §
multi sub infix:<div>(Int, Int --> Int)Integer division operator. Rounds down.
Class: Int §
From Int
(Int) infix div §
multi sub infix:<div>(Int, Int --> Int)Does an integer division, rounded down.