rem: : new java.text.DecimalFormat("#,##0.00"); return df.format(0+this); 
add: : new java.text.DecimalFormat("###,##0.##"); return df.format(0 + this); 
context: Number.prototype.format = function(fmt) {    var df = fmt ? new java.text.DecimalFormat(fmt)                : new java.text.DecimalFormat("#,##0.00");    return df.format(0+this);};
meta: 2504	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2504/f2cc5103b494a44d7fff5433104791efc11b2009/Number.js/buggy/core/Number.js