Re: [Libre-silicon-devel] IEEE754 FPU in nmigen