synthesiseable ieee 754 floating point library in verilog