<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div><br></div><div><div><br><br>Sent from my iPhone</div>On Jan 15, 2017, at 18:02, Xiaodi Wu <<a href="mailto:xiaodi.wu@gmail.com">xiaodi.wu@gmail.com</a>> wrote:<br><br></div><blockquote type="cite">"Mathematically correct" integers behave just like Int in that there is not a multiplicative inverse. What we're trying to do here is to determine how much of what we know about mathematics is usefully modeled in the standard library. The answer is not zero, because there is more than just counting that people do with integers.<br></blockquote><br><div>It's an interesting problem... When I was in school, "integer" division "returned" a "quotient and remainder", a "fraction" (which, occasionally, could be simplified to just an integer), or a "real". We never talked about division in the context of "(Int, Int) -> Int", though. OTOH, I never took any math classes past Differential Equations or Linear Algebra, either... I'm <i>aware</i> of areas of math where you formally restrict yourself to the kind of <span style="background-color: rgba(255, 255, 255, 0);">"(Int, Int) -> Int"</span> operations we're doing here, but I don't really know much about it. Is division even well-defined in that context?</div><div><br></div><div>- Dave Sweeris</div></body></html>