A 64-bit floating point processing unit for a RISC microprocessor | IEEE Conference Publication | IEEE Xplore