update js-numbers library with Dan\'s fixes