Motion P1788/M0009.01_ExactDotProduct YES

[John Pryce <j.d.pryce@xxxxxxxxxxxx>]

I vote YES.

I have no expertise on this, and am grateful for the discussion of  
issues, costs and tradeoffs from Demmel, Kulisch, Neumeier, Rump,  
Zuras and others. I am persuaded that, done well in software, the EDP  
is on average not much more costly than a faithfully rounded one; and  
that trends in machine architecture are such that providing it in  
hardware may soon not be seen by chip designers as an expensive  
luxury. Also I want to support those who need deterministic  
computations, so I see the uniqueness of the EDP as a point in its  
favour.