IEEE 754 standard floating point unit fpu single precision verilog vhdl riscv - View it on GitHub