modified:   jsvm/src/js/text/BigIntTools.js
	modified:   jsvm/src/js/text/NumberFormat.js