Alice can normalise the decimals, i.e. to 250 and 372, add recursively, then adjust the decimal point back afterwards.  As all numbers in computers are Hex or ultimately binary numbers, and they have no decimal points, that's how it works anyway. 

I really dont understand what you are going on about with your claim of a DAC and Turing complete languages.  You can create a language targeted to perform a specialised function and not be Turing complete.  The whole point of that term is that the language can do any logical function.  Either you your deliberately confusing the subject or you're very poorly made your case.  possibly both.