~~ copyright
~~ original gwt code revision notice
~~ NUMBER_DOUBLE to NUMBER
~~ removed commented code
~~ simplified isJsNumber
~~ inlined getXLiteral