[goto11]

So the result of division would be an Option? Option types are great, but cannot reasonably be used for all types of error conditions.