working on implementing fma, f16 rtz formal proof seems likely to work
[ieee754fpu.git] / doc /
2019-07-14 Jacob Lifshayadd proposed frsqrt instruction encoding table