added Fixnum#fdiv
untag specs, fix a few bugs