{"name": "floatx80_to_float64", "code": "double __fastcall floatx80_to_float64 ( long double @@a1@@ ) { return @@a1@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "long double", "s": 16}, "location": "s-16"}]}