Reimplement Ratio in Java

I think we can eventually kill off all `extend-type`s by overloading all number ops in pure java.