[Cfp-interest 1972] Re: WG14 IEEE 754-C binding meeting minutes2021/04/13 -- correct rounding

[Mike Cowlishaw]

Re: 

> *AI*: Any: CFP1934: Look into adding in that basic math 
> operations (+, -, *, /) should be correctly rounded.

It looks as though the primary cases of these where 'should be correctly
rounded' might be in order are in 6.5.5 (paras 5 & 6) and 6.5.6 (paras 6 &
7). 

(Separately, I was a little shocked to see hyphens being used as minus signs
...)

Mike