In my language, division isn't closed. The type of x/y is maybe<double> because when you do shenanigans of defining division as a different operator than multip

In my language, division isn't closed. The type of x/y is maybe<double> because when you do shenanigans of defining division as a different operator than multiplying by the multiplicative inverse, your code sucks.