{"name": "int64_to_float64", "code": "double __fastcall int64_to_float64 ( int @@a1@@ ) { return ( double ) @@a1@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}]}
{"name": "uint64_to_float64", "code": "double __fastcall uint64_to_float64 ( __int64 @@a1@@ ) { double @@result@@ ; if ( @@a1@@ < Number ) @@result@@ = ( double ) ( int ) ( @@a1@@ & Number | ( ( unsigned __int64 ) @@a1@@ >> Number ) ) + ( double ) ( int ) ( @@a1@@ & Number | ( ( unsigned __int64 ) @@a1@@ >> Number ) ) ; else @@result@@ = ( double ) ( int ) @@a1@@ ; return @@result@@ ; }", "source": [{"n": "result", "t": {"T": 1, "n": "double", "s": 8}, "location": "r496"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}]}