floor (1 / 2)
floor (10 / 3)
floor 5
floor (500 / 376)
ceiling (1 / 3)
ceiling (17 / 6)
ceiling ((floor (5 / 2)) / 28)
⌊10 / 3⌋
⌈20 / 7⌉
5 // 2
37 // 13
100 // 9
(78 // 4) // (51 // 7)
((5 : F) // (2 : F)) : Nat
((-5 : Q) // (3 : F)) : Z
-- (5 : Z7) // (3 : Z7)