0024560: Division by zero error

diff -r ad4fa8110499 web/org.openbravo.retail.posterminal/js/data/dataordertaxes.js
--- a/web/org.openbravo.retail.posterminal/js/data/dataordertaxes.js	Wed Aug 07 05:03:45 2013 +0000
+++ b/web/org.openbravo.retail.posterminal/js/data/dataordertaxes.js	Fri Aug 23 15:31:52 2013 +0200
@@ -122,13 +122,13 @@
 
               //We follow the same formula of function c_get_net_price_from_gross to compute the discounted net
               if (!(_.isNull(discountedGross) || _.isUndefined(discountedGross))) {
-                if (taxamtdc) {
+                if (taxamtdc && OB.DEC.toNumber(taxamtdc)!==0) {
                   discountedNet = OB.DEC.div(new BigDecimal(String(discountedGross)).multiply(new BigDecimal(String(discountedGross))), taxamtdc);
                   pricenet = OB.DEC.div(discountedNet, element.get('qty'));
                 } else {
                   //taxamtdc === 0
-                  discountedNet = 0;
-                  pricenet = 0;
+                  discountedNet = new BigDecimal("0");
+                  pricenet = new BigDecimal("0");
                 }
               } else {
                 pricenet = new BigDecimal(String(linepricenet)); // 2 decimals properly rounded.