Reimplement division without java method overloading

Existing division tests still pass. I believe that next I will be rewriting coercions.