jruby returns different hash for x and x.0