gecko-dev/js/js2/java/JSNumber.java