On 5/13/2016 12:48 PM, Timon Gehr wrote:
IMO the compiler should never be allowed to use a precision different from the one specified.
I take it you've never been bitten by accumulated errors :-)Reduced precision is only useful for storage formats and increasing speed. If a less accurate result is desired, your algorithm is wrong.
