FPU. IEEE 754 floating point unit in Verilog