synthesiseable ieee 754 floating point library in verilog - View it on GitHub