Actually implement RubyNumeric.getIntValue and document behavior.