also handle decimals in __ndt_sum_integer