context: function cropFloat(x) {    return parseInt(10000*x)/10000;}
meta: 7747	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7747/2c4d6b6d5dea1734bb497f3886ee2d9b8815ca25/baselib.js/buggy/client/digitallibrary/baselib.js