Adding support for 80-bit floats, and correcting quad float precision.