Improved error check for intrinsic procedures

[jalvesz]

Motivation

The current testing for the intrinsics sum and dot_product are overly loose. It would be better to have a more stringent testing approach.

A reference work that can be used to better test for the accuracy of these operations can be found here: https://inria.hal.science/hal-00840926/document and https://www.tuhh.de/ti3/paper/rump/Ru11.pdf

Prior Art

No response

Additional Information

No response