:: int -> int -> int -> int package:numeric-prelude

The division may be ambiguous. In this case an arbitrary quotient is returned.
0:4 * 2:4 == 0/:4
2:4 * 2:4 == 0/:4