rem: function getDoubleStr( val, dec ) 
add: function getDoubleStr(val, dec) 
context: function getDoubleStr( val, dec ){  var str = val.toString();  var inx = str.indexOf(".");  return str.substring(0, inx+dec+1);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/7929b953f5208c8ecc3653c4cf5ae465cc968301/printPageSetup.js/clean/xpfe/global/resources/content/printPageSetup.js