working on implementing fma, f16 rtz formal proof seems likely to work
[ieee754fpu.git] / NEWS.txt
1