An Efficient Encrypted Floating-Point Representation Using HEAAN and TFHE. (2nd March 2020)