Kastner R. Arithmetic Optimization Tech...Hardware...Soft 2010