explain our choice of integer division operator
Coq has multiple different notions of integer division, and we picked one of them for HeapLang. I don't know why/how we picked it, but what we picked matches what Rust does (at least for this one example I found where `div`
and `quot`
actually differ), so I agree with our choice. :D