github.com/tetratelabs/wazero@v1.7.3-0.20240513003603-48f702e154b5/internal/integration_test/spectest/v2/testdata/float_misc.json (about)

     1  {"source_filename": "./float_misc.wast",
     2   "commands": [
     3    {"type": "module", "line": 17, "filename": "float_misc.0.wasm"}, 
     4    {"type": "assert_return", "line": 50, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "1066388847"}, {"type": "f32", "value": "789036054"}]}, "expected": [{"type": "f32", "value": "1066388847"}]}, 
     5    {"type": "assert_return", "line": 51, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "4607738418748954166"}, {"type": "f64", "value": "4458835772027226175"}]}, "expected": [{"type": "f64", "value": "4607738418749510135"}]}, 
     6    {"type": "assert_return", "line": 55, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "864026624"}]}, "expected": [{"type": "f32", "value": "1065353216"}]}, 
     7    {"type": "assert_return", "line": 56, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "864026625"}]}, "expected": [{"type": "f32", "value": "1065353217"}]}, 
     8    {"type": "assert_return", "line": 57, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "4368491638549381120"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]}, 
     9    {"type": "assert_return", "line": 58, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "4368491638549381121"}]}, "expected": [{"type": "f64", "value": "4607182418800017409"}]}, 
    10    {"type": "assert_return", "line": 61, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "1"}, {"type": "f32", "value": "8388607"}]}, "expected": [{"type": "f32", "value": "8388608"}]}, 
    11    {"type": "assert_return", "line": 62, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "1"}, {"type": "f64", "value": "4503599627370495"}]}, "expected": [{"type": "f64", "value": "4503599627370496"}]}, 
    12    {"type": "assert_return", "line": 67, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "1325400064"}, {"type": "f32", "value": "1149241344"}]}, "expected": [{"type": "f32", "value": "1325400068"}]}, 
    13    {"type": "assert_return", "line": 68, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "4890909195324358656"}, {"type": "f64", "value": "4652219514585350144"}]}, "expected": [{"type": "f64", "value": "4890909195324358657"}]}, 
    14    {"type": "assert_return", "line": 72, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "9290926031265333248"}, {"type": "f64", "value": "5910"}]}, "expected": [{"type": "f64", "value": "9290926031265333247"}]}, 
    15    {"type": "assert_return", "line": 75, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "4845873199050653696"}, {"type": "f64", "value": "4607182463836013682"}]}, "expected": [{"type": "f64", "value": "4845873199050653697"}]}, 
    16    {"type": "assert_return", "line": 78, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "4845873199050653697"}, {"type": "f64", "value": "4607182281361063936"}]}, "expected": [{"type": "f64", "value": "4845873199050653697"}]}, 
    17    {"type": "assert_return", "line": 81, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "1258291200"}, {"type": "f32", "value": "1056964608"}]}, "expected": [{"type": "f32", "value": "1258291200"}]}, 
    18    {"type": "assert_return", "line": 82, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "1258291201"}, {"type": "f32", "value": "1056964608"}]}, "expected": [{"type": "f32", "value": "1258291202"}]}, 
    19    {"type": "assert_return", "line": 83, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "4841369599423283200"}, {"type": "f64", "value": "4602678819172646912"}]}, "expected": [{"type": "f64", "value": "4841369599423283200"}]}, 
    20    {"type": "assert_return", "line": 84, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "4841369599423283201"}, {"type": "f64", "value": "4602678819172646912"}]}, "expected": [{"type": "f64", "value": "4841369599423283202"}]}, 
    21    {"type": "assert_return", "line": 87, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "4070355885"}, {"type": "f32", "value": "238773414"}]}, "expected": [{"type": "f32", "value": "4070355885"}]}, 
    22    {"type": "assert_return", "line": 88, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "1630930834"}, {"type": "f32", "value": "3650472296"}]}, "expected": [{"type": "f32", "value": "1630930534"}]}, 
    23    {"type": "assert_return", "line": 89, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "376639884"}, {"type": "f32", "value": "24880479"}]}, "expected": [{"type": "f32", "value": "376639884"}]}, 
    24    {"type": "assert_return", "line": 90, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "1393899754"}, {"type": "f32", "value": "3680827526"}]}, "expected": [{"type": "f32", "value": "3680827377"}]}, 
    25    {"type": "assert_return", "line": 91, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "947682203"}, {"type": "f32", "value": "1958603311"}]}, "expected": [{"type": "f32", "value": "1958603311"}]}, 
    26    {"type": "assert_return", "line": 92, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "2751474943031650218"}, {"type": "f64", "value": "14953834855654151696"}]}, "expected": [{"type": "f64", "value": "14953834855654151696"}]}, 
    27    {"type": "assert_return", "line": 93, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "14174076479053295281"}, {"type": "f64", "value": "3779173703388472492"}]}, "expected": [{"type": "f64", "value": "14174076479053295281"}]}, 
    28    {"type": "assert_return", "line": 94, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "3940735352412940081"}, {"type": "f64", "value": "13776826739676942972"}]}, "expected": [{"type": "f64", "value": "13776826739676942972"}]}, 
    29    {"type": "assert_return", "line": 95, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "6845567588107709194"}, {"type": "f64", "value": "4904758653169279867"}]}, "expected": [{"type": "f64", "value": "6845567588107709194"}]}, 
    30    {"type": "assert_return", "line": 96, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "6057047893039655554"}, {"type": "f64", "value": "6381964069811498464"}]}, "expected": [{"type": "f64", "value": "6381964069811498464"}]}, 
    31    {"type": "assert_return", "line": 99, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "1670249659"}, {"type": "f32", "value": "3384781876"}]}, "expected": [{"type": "f32", "value": "1670249659"}]}, 
    32    {"type": "assert_return", "line": 100, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "692047414"}, {"type": "f32", "value": "2564611463"}]}, "expected": [{"type": "f32", "value": "692047414"}]}, 
    33    {"type": "assert_return", "line": 101, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "2862180574"}, {"type": "f32", "value": "2122049802"}]}, "expected": [{"type": "f32", "value": "2122049802"}]}, 
    34    {"type": "assert_return", "line": 102, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "2848402951"}, {"type": "f32", "value": "2325576998"}]}, "expected": [{"type": "f32", "value": "2848402951"}]}, 
    35    {"type": "assert_return", "line": 103, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "982116028"}, {"type": "f32", "value": "2317187467"}]}, "expected": [{"type": "f32", "value": "982116028"}]}, 
    36    {"type": "assert_return", "line": 104, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "5417704807092288842"}, {"type": "f64", "value": "11458115339210975423"}]}, "expected": [{"type": "f64", "value": "5417704807092288842"}]}, 
    37    {"type": "assert_return", "line": 105, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "5306888566943064716"}, {"type": "f64", "value": "13560253914302152139"}]}, "expected": [{"type": "f64", "value": "5306888566943064716"}]}, 
    38    {"type": "assert_return", "line": 106, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "2791030278657170439"}, {"type": "f64", "value": "9423751710011603955"}]}, "expected": [{"type": "f64", "value": "2791030278657170439"}]}, 
    39    {"type": "assert_return", "line": 107, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "14493512931660601393"}, {"type": "f64", "value": "14459238760182946131"}]}, "expected": [{"type": "f64", "value": "14493541008051035082"}]}, 
    40    {"type": "assert_return", "line": 108, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "13847269089137787654"}, {"type": "f64", "value": "5913400236268010570"}]}, "expected": [{"type": "f64", "value": "5913400236268010570"}]}, 
    41    {"type": "assert_return", "line": 111, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "2231979500"}, {"type": "f32", "value": "711174153"}]}, "expected": [{"type": "f32", "value": "711174153"}]}, 
    42    {"type": "assert_return", "line": 112, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "3084976721"}, {"type": "f32", "value": "843077785"}]}, "expected": [{"type": "f32", "value": "3084970566"}]}, 
    43    {"type": "assert_return", "line": 113, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "3522127374"}, {"type": "f32", "value": "157500525"}]}, "expected": [{"type": "f32", "value": "3522127374"}]}, 
    44    {"type": "assert_return", "line": 114, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "78702389"}, {"type": "f32", "value": "3468399689"}]}, "expected": [{"type": "f32", "value": "3468399689"}]}, 
    45    {"type": "assert_return", "line": 115, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "2208228371"}, {"type": "f32", "value": "1870536627"}]}, "expected": [{"type": "f32", "value": "1870536627"}]}, 
    46    {"type": "assert_return", "line": 116, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "1111252809067936271"}, {"type": "f64", "value": "18353849863141451174"}]}, "expected": [{"type": "f64", "value": "18353849863141451174"}]}, 
    47    {"type": "assert_return", "line": 117, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "16156503866526998353"}, {"type": "f64", "value": "16051628718393451642"}]}, "expected": [{"type": "f64", "value": "16156503867159194550"}]}, 
    48    {"type": "assert_return", "line": 118, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "9478779231447112314"}, {"type": "f64", "value": "3336259491488022866"}]}, "expected": [{"type": "f64", "value": "3336259491488022866"}]}, 
    49    {"type": "assert_return", "line": 119, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "11541137186853127278"}, {"type": "f64", "value": "735421354967021004"}]}, "expected": [{"type": "f64", "value": "11541137186853127278"}]}, 
    50    {"type": "assert_return", "line": 120, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "18181384676953296798"}, {"type": "f64", "value": "8211214354507491487"}]}, "expected": [{"type": "f64", "value": "18181384676953296798"}]}, 
    51    {"type": "assert_return", "line": 123, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "17455847474217352892"}, {"type": "f64", "value": "8328504330151758329"}]}, "expected": [{"type": "f64", "value": "8328504328029232689"}]}, 
    52    {"type": "assert_return", "line": 124, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "8138029755241725240"}, {"type": "f64", "value": "7967841770626914860"}]}, "expected": [{"type": "f64", "value": "8138029755241745167"}]}, 
    53    {"type": "assert_return", "line": 125, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "16644741111433920314"}, {"type": "f64", "value": "7647005019700459394"}]}, "expected": [{"type": "f64", "value": "7647005019700459387"}]}, 
    54    {"type": "assert_return", "line": 126, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "6696851869641768443"}, {"type": "f64", "value": "6935821972358342665"}]}, "expected": [{"type": "f64", "value": "6935821972358342665"}]}, 
    55    {"type": "assert_return", "line": 127, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "127567346952002978"}, {"type": "f64", "value": "273820416703444795"}]}, "expected": [{"type": "f64", "value": "273820416704834831"}]}, 
    56    {"type": "assert_return", "line": 130, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "17221080860858566255"}, {"type": "f64", "value": "18119355194379769652"}]}, "expected": [{"type": "f64", "value": "18119355194379769652"}]}, 
    57    {"type": "assert_return", "line": 131, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "5479469458864399218"}, {"type": "f64", "value": "15063363222154738502"}]}, "expected": [{"type": "f64", "value": "15063363222154738502"}]}, 
    58    {"type": "assert_return", "line": 132, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "15191393426281101490"}, {"type": "f64", "value": "2705322087145917275"}]}, "expected": [{"type": "f64", "value": "15191393426281101490"}]}, 
    59    {"type": "assert_return", "line": 133, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "12404517211283155052"}, {"type": "f64", "value": "15933096090325362723"}]}, "expected": [{"type": "f64", "value": "15933096090325362723"}]}, 
    60    {"type": "assert_return", "line": 134, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "12941874353187635000"}, {"type": "f64", "value": "149235811938438489"}]}, "expected": [{"type": "f64", "value": "12941874353187635000"}]}, 
    61    {"type": "assert_return", "line": 137, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "2039859408"}, {"type": "f32", "value": "2137384617"}]}, "expected": [{"type": "f32", "value": "2137389410"}]}, 
    62    {"type": "assert_return", "line": 138, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "2135652809"}, {"type": "f32", "value": "4113932278"}]}, "expected": [{"type": "f32", "value": "2135652798"}]}, 
    63    {"type": "assert_return", "line": 139, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "2055837582"}, {"type": "f32", "value": "4281461529"}]}, "expected": [{"type": "f32", "value": "4281443917"}]}, 
    64    {"type": "assert_return", "line": 140, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "4220448050"}, {"type": "f32", "value": "4286022000"}]}, "expected": [{"type": "f32", "value": "4286095178"}]}, 
    65    {"type": "assert_return", "line": 141, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "4280642669"}, {"type": "f32", "value": "4269109313"}]}, "expected": [{"type": "f32", "value": "4284663933"}]}, 
    66    {"type": "assert_return", "line": 142, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "9214390167692528523"}, {"type": "f64", "value": "9025765862177526868"}]}, "expected": [{"type": "f64", "value": "9214390167692529673"}]}, 
    67    {"type": "assert_return", "line": 143, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "9218174330906182895"}, {"type": "f64", "value": "9066655639269665468"}]}, "expected": [{"type": "f64", "value": "9218174330906813073"}]}, 
    68    {"type": "assert_return", "line": 144, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "18440065048487386960"}, {"type": "f64", "value": "9166530475417861020"}]}, "expected": [{"type": "f64", "value": "18440062016830479601"}]}, 
    69    {"type": "assert_return", "line": 145, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "18341378616977760125"}, {"type": "f64", "value": "9218376305633483958"}]}, "expected": [{"type": "f64", "value": "9218376303911020838"}]}, 
    70    {"type": "assert_return", "line": 146, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "9214484525044672441"}, {"type": "f64", "value": "18297568705700624757"}]}, "expected": [{"type": "f64", "value": "9214484525042704878"}]}, 
    71    {"type": "assert_return", "line": 149, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "5932680"}, {"type": "f32", "value": "623"}]}, "expected": [{"type": "f32", "value": "5933303"}]}, 
    72    {"type": "assert_return", "line": 150, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "37"}, {"type": "f32", "value": "2147483650"}]}, "expected": [{"type": "f32", "value": "35"}]}, 
    73    {"type": "assert_return", "line": 151, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "2147483656"}, {"type": "f32", "value": "3701056"}]}, "expected": [{"type": "f32", "value": "3701048"}]}, 
    74    {"type": "assert_return", "line": 152, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "2147483668"}, {"type": "f32", "value": "44113961"}]}, "expected": [{"type": "f32", "value": "44113960"}]}, 
    75    {"type": "assert_return", "line": 153, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "453"}, {"type": "f32", "value": "2147507390"}]}, "expected": [{"type": "f32", "value": "2147506937"}]}, 
    76    {"type": "assert_return", "line": 154, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "5760669582171681"}, {"type": "f64", "value": "9233067416817195210"}]}, "expected": [{"type": "f64", "value": "9227994927942701939"}]}, 
    77    {"type": "assert_return", "line": 155, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "9301019945277718"}, {"type": "f64", "value": "9236877899492518055"}]}, "expected": [{"type": "f64", "value": "9231781722239704866"}]}, 
    78    {"type": "assert_return", "line": 156, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "9225260466475370890"}, {"type": "f64", "value": "9229416573822848190"}]}, "expected": [{"type": "f64", "value": "9231305003443443272"}]}, 
    79    {"type": "assert_return", "line": 157, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "16303139584665809"}, {"type": "f64", "value": "9240639734747285230"}]}, "expected": [{"type": "f64", "value": "9227230270086150260"}]}, 
    80    {"type": "assert_return", "line": 158, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "9232116546764732939"}, {"type": "f64", "value": "5103597037406761"}]}, "expected": [{"type": "f64", "value": "9227012949727326178"}]}, 
    81    {"type": "assert_return", "line": 162, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "2139095038"}, {"type": "f32", "value": "1937768448"}]}, "expected": [{"type": "f32", "value": "2139095039"}]}, 
    82    {"type": "assert_return", "line": 163, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "9218868437227405310"}, {"type": "f64", "value": "8980177656976769024"}]}, "expected": [{"type": "f64", "value": "9218868437227405311"}]}, 
    83    {"type": "assert_return", "line": 166, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1073741824"}]}, "expected": [{"type": "f32", "value": "1082130432"}]}, 
    84    {"type": "assert_return", "line": 167, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4611686018427387904"}]}, "expected": [{"type": "f64", "value": "4616189618054758400"}]}, 
    85    {"type": "assert_return", "line": 170, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "2139095039"}, {"type": "f32", "value": "1929379839"}]}, "expected": [{"type": "f32", "value": "2139095039"}]}, 
    86    {"type": "assert_return", "line": 171, "action": {"type": "invoke", "field": "f32.add", "args": [{"type": "f32", "value": "2139095039"}, {"type": "f32", "value": "1929379840"}]}, "expected": [{"type": "f32", "value": "2139095040"}]}, 
    87    {"type": "assert_return", "line": 172, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "9218868437227405311"}, {"type": "f64", "value": "8975674057349398527"}]}, "expected": [{"type": "f64", "value": "9218868437227405311"}]}, 
    88    {"type": "assert_return", "line": 173, "action": {"type": "invoke", "field": "f64.add", "args": [{"type": "f64", "value": "9218868437227405311"}, {"type": "f64", "value": "8975674057349398528"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]}, 
    89    {"type": "assert_return", "line": 177, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "1199570944"}, {"type": "f32", "value": "754974720"}]}, "expected": [{"type": "f32", "value": "1199570944"}]}, 
    90    {"type": "assert_return", "line": 178, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4679240012837945344"}, {"type": "f64", "value": "4440549232587309056"}]}, "expected": [{"type": "f64", "value": "4679240012837945343"}]}, 
    91    {"type": "assert_return", "line": 182, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "855638016"}]}, "expected": [{"type": "f32", "value": "1065353216"}]}, 
    92    {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "855638017"}]}, "expected": [{"type": "f32", "value": "1065353215"}]}, 
    93    {"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "4363988038922010624"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]}, 
    94    {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "4363988038922010625"}]}, "expected": [{"type": "f64", "value": "4607182418800017407"}]}, 
    95    {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "183964211"}, {"type": "f32", "value": "4211807167"}]}, "expected": [{"type": "f32", "value": "2064323519"}]}, 
    96    {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "4213323727"}, {"type": "f32", "value": "3575761746"}]}, "expected": [{"type": "f32", "value": "4213323727"}]}, 
    97    {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "1069169566"}, {"type": "f32", "value": "2530290313"}]}, "expected": [{"type": "f32", "value": "1069169566"}]}, 
    98    {"type": "assert_return", "line": 191, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "88711906"}, {"type": "f32", "value": "431212897"}]}, "expected": [{"type": "f32", "value": "2578696545"}]}, 
    99    {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "919562194"}, {"type": "f32", "value": "2319656354"}]}, "expected": [{"type": "f32", "value": "919562194"}]}, 
   100    {"type": "assert_return", "line": 193, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "12332465020357998661"}, {"type": "f64", "value": "9766989582560416510"}]}, "expected": [{"type": "f64", "value": "12332465020357998661"}]}, 
   101    {"type": "assert_return", "line": 194, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "16318450733361321773"}, {"type": "f64", "value": "13120762196173477233"}]}, "expected": [{"type": "f64", "value": "16318450733361321773"}]}, 
   102    {"type": "assert_return", "line": 195, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "2534186520144737456"}, {"type": "f64", "value": "10065159679028096147"}]}, "expected": [{"type": "f64", "value": "2534186520144737456"}]}, 
   103    {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "81253721542311597"}, {"type": "f64", "value": "14524181566355681001"}]}, "expected": [{"type": "f64", "value": "5300809529500905193"}]}, 
   104    {"type": "assert_return", "line": 197, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "13189545483472981053"}, {"type": "f64", "value": "11407195172005604952"}]}, "expected": [{"type": "f64", "value": "13189545483472981053"}]}, 
   105    {"type": "assert_return", "line": 200, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "4122014001"}, {"type": "f32", "value": "4158487026"}]}, "expected": [{"type": "f32", "value": "2010278623"}]}, 
   106    {"type": "assert_return", "line": 201, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "4130431355"}, {"type": "f32", "value": "1119299749"}]}, "expected": [{"type": "f32", "value": "4130431355"}]}, 
   107    {"type": "assert_return", "line": 202, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "2517909066"}, {"type": "f32", "value": "864524238"}]}, "expected": [{"type": "f32", "value": "3012007886"}]}, 
   108    {"type": "assert_return", "line": 203, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "2573484334"}, {"type": "f32", "value": "3114628459"}]}, "expected": [{"type": "f32", "value": "967144811"}]}, 
   109    {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "4044667730"}, {"type": "f32", "value": "576942556"}]}, "expected": [{"type": "f32", "value": "4044667730"}]}, 
   110    {"type": "assert_return", "line": 205, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "14742371419310964805"}, {"type": "f64", "value": "17888404506408184249"}]}, "expected": [{"type": "f64", "value": "8665032469553408441"}]}, 
   111    {"type": "assert_return", "line": 206, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "2953146626865245854"}, {"type": "f64", "value": "2577681730975527916"}]}, "expected": [{"type": "f64", "value": "2953146626865245854"}]}, 
   112    {"type": "assert_return", "line": 207, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "12932364735331397407"}, {"type": "f64", "value": "2320782934320318207"}]}, "expected": [{"type": "f64", "value": "12932364735331397407"}]}, 
   113    {"type": "assert_return", "line": 208, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "9365060414983047910"}, {"type": "f64", "value": "12353777816259046974"}]}, "expected": [{"type": "f64", "value": "3130405779404271166"}]}, 
   114    {"type": "assert_return", "line": 209, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "14336992446210099104"}, {"type": "f64", "value": "5379485476305549444"}]}, "expected": [{"type": "f64", "value": "14602857513160325252"}]}, 
   115    {"type": "assert_return", "line": 212, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "1869943590"}, {"type": "f32", "value": "943887556"}]}, "expected": [{"type": "f32", "value": "1869943590"}]}, 
   116    {"type": "assert_return", "line": 213, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "3372906046"}, {"type": "f32", "value": "2919590399"}]}, "expected": [{"type": "f32", "value": "3372906046"}]}, 
   117    {"type": "assert_return", "line": 214, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "2912495853"}, {"type": "f32", "value": "2745492671"}]}, "expected": [{"type": "f32", "value": "2912495843"}]}, 
   118    {"type": "assert_return", "line": 215, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "3096029999"}, {"type": "f32", "value": "957859028"}]}, "expected": [{"type": "f32", "value": "3109853804"}]}, 
   119    {"type": "assert_return", "line": 216, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "2939165019"}, {"type": "f32", "value": "2346559691"}]}, "expected": [{"type": "f32", "value": "2939165019"}]}, 
   120    {"type": "assert_return", "line": 217, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "13126685627069188368"}, {"type": "f64", "value": "17084005755352353256"}]}, "expected": [{"type": "f64", "value": "7860633718497577448"}]}, 
   121    {"type": "assert_return", "line": 218, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "17250804263238954355"}, {"type": "f64", "value": "17897322818375888829"}]}, "expected": [{"type": "f64", "value": "8673950781521113021"}]}, 
   122    {"type": "assert_return", "line": 219, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "1024624387795162319"}, {"type": "f64", "value": "5422801516870904507"}]}, "expected": [{"type": "f64", "value": "14646173553725680315"}]}, 
   123    {"type": "assert_return", "line": 220, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "11250563508203208480"}, {"type": "f64", "value": "2160870138446053709"}]}, "expected": [{"type": "f64", "value": "11384242175310282886"}]}, 
   124    {"type": "assert_return", "line": 221, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "11315355526970152728"}, {"type": "f64", "value": "13767999508795332779"}]}, "expected": [{"type": "f64", "value": "4544627471940556971"}]}, 
   125    {"type": "assert_return", "line": 224, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4259315722107263852"}, {"type": "f64", "value": "4089445689175118070"}]}, "expected": [{"type": "f64", "value": "4259315722107229795"}]}, 
   126    {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "188121565440651108"}, {"type": "f64", "value": "62416789530785743"}]}, "expected": [{"type": "f64", "value": "188121565409457039"}]}, 
   127    {"type": "assert_return", "line": 226, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "3467770562990504390"}, {"type": "f64", "value": "3710644584044210353"}]}, "expected": [{"type": "f64", "value": "12934016620898986161"}]}, 
   128    {"type": "assert_return", "line": 227, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "13655868372788825570"}, {"type": "f64", "value": "13522732182992332383"}]}, "expected": [{"type": "f64", "value": "13655868372781906121"}]}, 
   129    {"type": "assert_return", "line": 228, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4496158230847685281"}, {"type": "f64", "value": "4595312328816348364"}]}, "expected": [{"type": "f64", "value": "13818684364224065885"}]}, 
   130    {"type": "assert_return", "line": 231, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "10165048318361601487"}, {"type": "f64", "value": "10384658282813060399"}]}, "expected": [{"type": "f64", "value": "1161286245958284573"}]}, 
   131    {"type": "assert_return", "line": 232, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "13982858477006823824"}, {"type": "f64", "value": "6264462250080870922"}]}, "expected": [{"type": "f64", "value": "15487834286935646730"}]}, 
   132    {"type": "assert_return", "line": 233, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "5124509539958121241"}, {"type": "f64", "value": "1953255029772502995"}]}, "expected": [{"type": "f64", "value": "5124509539958121241"}]}, 
   133    {"type": "assert_return", "line": 234, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "2408125051325635052"}, {"type": "f64", "value": "10707017964771367822"}]}, "expected": [{"type": "f64", "value": "2408125051325635052"}]}, 
   134    {"type": "assert_return", "line": 235, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4352135458168599028"}, {"type": "f64", "value": "1826599214642193119"}]}, "expected": [{"type": "f64", "value": "4352135458168599028"}]}, 
   135    {"type": "assert_return", "line": 239, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "1102651427"}, {"type": "f32", "value": "1078530011"}]}, "expected": [{"type": "f32", "value": "1101004328"}]}, 
   136    {"type": "assert_return", "line": 240, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4627206743602008890"}, {"type": "f64", "value": "4614256656552045848"}]}, "expected": [{"type": "f64", "value": "4626322463883005335"}]}, 
   137    {"type": "assert_return", "line": 243, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "1245125372"}, {"type": "f32", "value": "1245125368"}]}, "expected": [{"type": "f32", "value": "1065353216"}]}, 
   138    {"type": "assert_return", "line": 244, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "1240736760"}, {"type": "f32", "value": "1240736728"}]}, "expected": [{"type": "f32", "value": "1082130432"}]}, 
   139    {"type": "assert_return", "line": 245, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "1240736760"}, {"type": "f32", "value": "1240736712"}]}, "expected": [{"type": "f32", "value": "1086324736"}]}, 
   140    {"type": "assert_return", "line": 246, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "1220759616"}, {"type": "f32", "value": "1220759584"}]}, "expected": [{"type": "f32", "value": "1065353216"}]}, 
   141    {"type": "assert_return", "line": 247, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "1220759616"}, {"type": "f32", "value": "1220759552"}]}, "expected": [{"type": "f32", "value": "1073741824"}]}, 
   142    {"type": "assert_return", "line": 248, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4838362400168542206"}, {"type": "f64", "value": "4838362400168542204"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]}, 
   143    {"type": "assert_return", "line": 249, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4835858800541171708"}, {"type": "f64", "value": "4835858800541171692"}]}, "expected": [{"type": "f64", "value": "4616189618054758400"}]}, 
   144    {"type": "assert_return", "line": 250, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4835858800541171708"}, {"type": "f64", "value": "4835858800541171684"}]}, "expected": [{"type": "f64", "value": "4618441417868443648"}]}, 
   145    {"type": "assert_return", "line": 251, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4825251601286430752"}, {"type": "f64", "value": "4825251601286430736"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]}, 
   146    {"type": "assert_return", "line": 252, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4825251601286430752"}, {"type": "f64", "value": "4825251601286430720"}]}, "expected": [{"type": "f64", "value": "4611686018427387904"}]}, 
   147    {"type": "assert_return", "line": 255, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "8388608"}, {"type": "f32", "value": "8388607"}]}, "expected": [{"type": "f32", "value": "1"}]}, 
   148    {"type": "assert_return", "line": 256, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4503599627370496"}, {"type": "f64", "value": "4503599627370495"}]}, "expected": [{"type": "f64", "value": "1"}]}, 
   149    {"type": "assert_return", "line": 259, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "1065353217"}, {"type": "f32", "value": "1065353215"}]}, "expected": [{"type": "f32", "value": "876609536"}]}, 
   150    {"type": "assert_return", "line": 260, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "1065353217"}, {"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "f32", "value": "872415232"}]}, 
   151    {"type": "assert_return", "line": 261, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "1065353215"}]}, "expected": [{"type": "f32", "value": "864026624"}]}, 
   152    {"type": "assert_return", "line": 262, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4607182418800017409"}, {"type": "f64", "value": "4607182418800017407"}]}, "expected": [{"type": "f64", "value": "4375247037990436864"}]}, 
   153    {"type": "assert_return", "line": 263, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4607182418800017409"}, {"type": "f64", "value": "4607182418800017408"}]}, "expected": [{"type": "f64", "value": "4372995238176751616"}]}, 
   154    {"type": "assert_return", "line": 264, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "4607182418800017407"}]}, "expected": [{"type": "f64", "value": "4368491638549381120"}]}, 
   155    {"type": "assert_return", "line": 268, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "2139095039"}, {"type": "f32", "value": "1929379839"}]}, "expected": [{"type": "f32", "value": "2139095039"}]}, 
   156    {"type": "assert_return", "line": 269, "action": {"type": "invoke", "field": "f32.sub", "args": [{"type": "f32", "value": "2139095039"}, {"type": "f32", "value": "1929379840"}]}, "expected": [{"type": "f32", "value": "2139095038"}]}, 
   157    {"type": "assert_return", "line": 270, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "9218868437227405311"}, {"type": "f64", "value": "8975674057349398527"}]}, "expected": [{"type": "f64", "value": "9218868437227405311"}]}, 
   158    {"type": "assert_return", "line": 271, "action": {"type": "invoke", "field": "f64.sub", "args": [{"type": "f64", "value": "9218868437227405311"}, {"type": "f64", "value": "8975674057349398528"}]}, "expected": [{"type": "f64", "value": "9218868437227405310"}]}, 
   159    {"type": "assert_return", "line": 274, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "1482907561"}, {"type": "f32", "value": "1482907561"}]}, "expected": [{"type": "f32", "value": "1900671689"}]}, 
   160    {"type": "assert_return", "line": 275, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "1621981420"}, {"type": "f32", "value": "1621981420"}]}, "expected": [{"type": "f32", "value": "2139095040"}]}, 
   161    {"type": "assert_return", "line": 276, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "1761892689"}, {"type": "f32", "value": "1761892689"}]}, "expected": [{"type": "f32", "value": "2139095040"}]}, 
   162    {"type": "assert_return", "line": 277, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "4831355200913801216"}, {"type": "f64", "value": "4831355200913801216"}]}, "expected": [{"type": "f64", "value": "5055640609639927018"}]}, 
   163    {"type": "assert_return", "line": 278, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "4906019910204099648"}, {"type": "f64", "value": "4906019910204099648"}]}, "expected": [{"type": "f64", "value": "5205425776111082661"}]}, 
   164    {"type": "assert_return", "line": 279, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "4981134201117475473"}, {"type": "f64", "value": "4981134201117475473"}]}, "expected": [{"type": "f64", "value": "5355091182177117339"}]}, 
   165    {"type": "assert_return", "line": 284, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "1323067183"}, {"type": "f32", "value": "1351920719"}]}, "expected": [{"type": "f32", "value": "1610612737"}]}, 
   166    {"type": "assert_return", "line": 285, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "4745541551160033280"}, {"type": "f64", "value": "4761032175258435584"}]}, "expected": [{"type": "f64", "value": "4899916394579099649"}]}, 
   167    {"type": "assert_return", "line": 289, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "1117401907"}, {"type": "f32", "value": "1146388480"}]}, "expected": [{"type": "f32", "value": "1199570688"}]}, 
   168    {"type": "assert_return", "line": 290, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "4635125847112967782"}, {"type": "f64", "value": "4650687894887858176"}]}, "expected": [{"type": "f64", "value": "4679239875398991871"}]}, 
   169    {"type": "assert_return", "line": 293, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "3725225879"}, {"type": "f32", "value": "767181884"}]}, "expected": [{"type": "f32", "value": "3427365876"}]}, 
   170    {"type": "assert_return", "line": 294, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "4071298289"}, {"type": "f32", "value": "2363594761"}]}, "expected": [{"type": "f32", "value": "1075233538"}]}, 
   171    {"type": "assert_return", "line": 295, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "3990403914"}, {"type": "f32", "value": "2406636213"}]}, "expected": [{"type": "f32", "value": "1036856791"}]}, 
   172    {"type": "assert_return", "line": 296, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "3876262739"}, {"type": "f32", "value": "2590162616"}]}, "expected": [{"type": "f32", "value": "1106664791"}]}, 
   173    {"type": "assert_return", "line": 297, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "1513973689"}, {"type": "f32", "value": "1110852822"}]}, "expected": [{"type": "f32", "value": "1560730283"}]}, 
   174    {"type": "assert_return", "line": 298, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "15745248579468343268"}, {"type": "f64", "value": "8867411559652116184"}]}, "expected": [{"type": "f64", "value": "18442240474082181120"}]}, 
   175    {"type": "assert_return", "line": 299, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "9393595877903301723"}, {"type": "f64", "value": "12847704090045979814"}]}, "expected": [{"type": "f64", "value": "0"}]}, 
   176    {"type": "assert_return", "line": 300, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "7339743909496900438"}, {"type": "f64", "value": "14312273837817528234"}]}, "expected": [{"type": "f64", "value": "17044856006279008467"}]}, 
   177    {"type": "assert_return", "line": 301, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "12422633289194844785"}, {"type": "f64", "value": "7233496047441461849"}]}, "expected": [{"type": "f64", "value": "15049217706304651865"}]}, 
   178    {"type": "assert_return", "line": 302, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "8188526721198436258"}, {"type": "f64", "value": "745378815681991665"}]}, "expected": [{"type": "f64", "value": "4327221634240578200"}]}, 
   179    {"type": "assert_return", "line": 305, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "2468326353"}, {"type": "f32", "value": "3984723636"}]}, "expected": [{"type": "f32", "value": "1092762840"}]}, 
   180    {"type": "assert_return", "line": 306, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "1680245441"}, {"type": "f32", "value": "1228341789"}]}, "expected": [{"type": "f32", "value": "1844318640"}]}, 
   181    {"type": "assert_return", "line": 307, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "2945969408"}, {"type": "f32", "value": "3840981390"}]}, "expected": [{"type": "f32", "value": "1427037263"}]}, 
   182    {"type": "assert_return", "line": 308, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "1631446143"}, {"type": "f32", "value": "3340593865"}]}, "expected": [{"type": "f32", "value": "3907618991"}]}, 
   183    {"type": "assert_return", "line": 309, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "1321841569"}, {"type": "f32", "value": "3771977928"}]}, "expected": [{"type": "f32", "value": "4029080461"}]}, 
   184    {"type": "assert_return", "line": 310, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "10956034376207055635"}, {"type": "f64", "value": "3195464683520095288"}]}, "expected": [{"type": "f64", "value": "9544600684599159351"}]}, 
   185    {"type": "assert_return", "line": 311, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "3366372084365197849"}, {"type": "f64", "value": "10971437597834234015"}]}, "expected": [{"type": "f64", "value": "9730951521726442211"}]}, 
   186    {"type": "assert_return", "line": 312, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "15316253934569525376"}, {"type": "f64", "value": "17593766689751523793"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]}, 
   187    {"type": "assert_return", "line": 313, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "8873430008942894499"}, {"type": "f64", "value": "2630310872370005737"}]}, "expected": [{"type": "f64", "value": "6896620497836925834"}]}, 
   188    {"type": "assert_return", "line": 314, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "6138390736122864607"}, {"type": "f64", "value": "14591737303103877464"}]}, "expected": [{"type": "f64", "value": "16122953269734234204"}]}, 
   189    {"type": "assert_return", "line": 317, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "3603447621"}, {"type": "f32", "value": "4012809012"}]}, "expected": [{"type": "f32", "value": "2139095040"}]}, 
   190    {"type": "assert_return", "line": 318, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "3192278970"}, {"type": "f32", "value": "242309673"}]}, "expected": [{"type": "f32", "value": "2369451750"}]}, 
   191    {"type": "assert_return", "line": 319, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "3060150317"}, {"type": "f32", "value": "1953896717"}]}, "expected": [{"type": "f32", "value": "3948759250"}]}, 
   192    {"type": "assert_return", "line": 320, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "3685735869"}, {"type": "f32", "value": "265571119"}]}, "expected": [{"type": "f32", "value": "2886850375"}]}, 
   193    {"type": "assert_return", "line": 321, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "3355295625"}, {"type": "f32", "value": "69023757"}]}, "expected": [{"type": "f32", "value": "2359023110"}]}, 
   194    {"type": "assert_return", "line": 322, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "11598370094301102699"}, {"type": "f64", "value": "15783697741936198553"}]}, "expected": [{"type": "f64", "value": "4328598597203697163"}]}, 
   195    {"type": "assert_return", "line": 323, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "6760137556672200005"}, {"type": "f64", "value": "10390971429121674926"}]}, "expected": [{"type": "f64", "value": "12543987340819631453"}]}, 
   196    {"type": "assert_return", "line": 324, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "14608361260346079328"}, {"type": "f64", "value": "6227029768418337647"}]}, "expected": [{"type": "f64", "value": "16228420234814429284"}]}, 
   197    {"type": "assert_return", "line": 325, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "8069908676175581646"}, {"type": "f64", "value": "15517844864458283108"}]}, "expected": [{"type": "f64", "value": "18442240474082181120"}]}, 
   198    {"type": "assert_return", "line": 326, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "4973816491418843402"}, {"type": "f64", "value": "4922606816281832528"}]}, "expected": [{"type": "f64", "value": "5289311430451755328"}]}, 
   199    {"type": "assert_return", "line": 329, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "3075846375446710711"}, {"type": "f64", "value": "2019524319895558702"}]}, "expected": [{"type": "f64", "value": "488220554609224151"}]}, 
   200    {"type": "assert_return", "line": 330, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "13792389967993824121"}, {"type": "f64", "value": "7865224186729676301"}]}, "expected": [{"type": "f64", "value": "17051039770050770421"}]}, 
   201    {"type": "assert_return", "line": 331, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "15483491341737357200"}, {"type": "f64", "value": "10898188329492193507"}]}, "expected": [{"type": "f64", "value": "3327855557076626973"}]}, 
   202    {"type": "assert_return", "line": 332, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "8100886621587996114"}, {"type": "f64", "value": "4881220253517731398"}]}, "expected": [{"type": "f64", "value": "8375006889399652877"}]}, 
   203    {"type": "assert_return", "line": 333, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "12589892576446671178"}, {"type": "f64", "value": "8646729507413822745"}]}, "expected": [{"type": "f64", "value": "16629483498509877989"}]}, 
   204    {"type": "assert_return", "line": 336, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "1913383041739811140"}, {"type": "f64", "value": "2696786534754768330"}]}, "expected": [{"type": "f64", "value": "3776602816350777"}]}, 
   205    {"type": "assert_return", "line": 337, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "13576886274997223712"}, {"type": "f64", "value": "9480836654241272360"}]}, "expected": [{"type": "f64", "value": "4406081533924885"}]}, 
   206    {"type": "assert_return", "line": 338, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "11636123185307544831"}, {"type": "f64", "value": "11418839304735837198"}]}, "expected": [{"type": "f64", "value": "2919536087652621"}]}, 
   207    {"type": "assert_return", "line": 339, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "10357270161024523488"}, {"type": "f64", "value": "3460198093814186274"}]}, "expected": [{"type": "f64", "value": "9223701543089011575"}]}, 
   208    {"type": "assert_return", "line": 340, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "11506848031881565957"}, {"type": "f64", "value": "11547514064126512393"}]}, "expected": [{"type": "f64", "value": "2474372522531115"}]}, 
   209    {"type": "assert_return", "line": 343, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "8446730755803745435"}, {"type": "f64", "value": "640105622936255012"}]}, "expected": [{"type": "f64", "value": "4479981512316931443"}]}, 
   210    {"type": "assert_return", "line": 344, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "4578331547514318947"}, {"type": "f64", "value": "3937894457345907544"}]}, "expected": [{"type": "f64", "value": "3909603143436010489"}]}, 
   211    {"type": "assert_return", "line": 345, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "13839181621982597923"}, {"type": "f64", "value": "4426983905639375259"}]}, "expected": [{"type": "f64", "value": "13658985409477228135"}]}, 
   212    {"type": "assert_return", "line": 346, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "2931365221683549507"}, {"type": "f64", "value": "3687257801017498184"}]}, "expected": [{"type": "f64", "value": "2011503789135851990"}]}, 
   213    {"type": "assert_return", "line": 347, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "14180592859625794472"}, {"type": "f64", "value": "3043918530412552819"}]}, "expected": [{"type": "f64", "value": "12617399980269247921"}]}, 
   214    {"type": "assert_return", "line": 350, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "436207616"}, {"type": "f32", "value": "436207616"}]}, "expected": [{"type": "f32", "value": "0"}]}, 
   215    {"type": "assert_return", "line": 351, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "436207617"}, {"type": "f32", "value": "436207617"}]}, "expected": [{"type": "f32", "value": "1"}]}, 
   216    {"type": "assert_return", "line": 352, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "2186111271319845836"}, {"type": "f64", "value": "2186111271319845836"}]}, "expected": [{"type": "f64", "value": "0"}]}, 
   217    {"type": "assert_return", "line": 353, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "2186111271319845837"}, {"type": "f64", "value": "2186111271319845837"}]}, "expected": [{"type": "f64", "value": "1"}]}, 
   218    {"type": "assert_return", "line": 356, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "1602224127"}, {"type": "f32", "value": "1602224127"}]}, "expected": [{"type": "f32", "value": "2139095038"}]}, 
   219    {"type": "assert_return", "line": 357, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "1602224128"}, {"type": "f32", "value": "1602224128"}]}, "expected": [{"type": "f32", "value": "2139095040"}]}, 
   220    {"type": "assert_return", "line": 358, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "6913025428013711359"}, {"type": "f64", "value": "6913025428013711359"}]}, "expected": [{"type": "f64", "value": "9218868437227405310"}]}, 
   221    {"type": "assert_return", "line": 359, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "6913025428013711360"}, {"type": "f64", "value": "6913025428013711360"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]}, 
   222    {"type": "assert_return", "line": 362, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "1065353217"}, {"type": "f32", "value": "1065353217"}]}, "expected": [{"type": "f32", "value": "1065353218"}]}, 
   223    {"type": "assert_return", "line": 363, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "1065353215"}, {"type": "f32", "value": "1065353215"}]}, "expected": [{"type": "f32", "value": "1065353214"}]}, 
   224    {"type": "assert_return", "line": 364, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "4607182418800017409"}, {"type": "f64", "value": "4607182418800017409"}]}, "expected": [{"type": "f64", "value": "4607182418800017410"}]}, 
   225    {"type": "assert_return", "line": 365, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "4607182418800017407"}, {"type": "f64", "value": "4607182418800017407"}]}, "expected": [{"type": "f64", "value": "4607182418800017406"}]}, 
   226    {"type": "assert_return", "line": 368, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "1065353217"}, {"type": "f32", "value": "1065353215"}]}, "expected": [{"type": "f32", "value": "1065353216"}]}, 
   227    {"type": "assert_return", "line": 369, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "1065353218"}, {"type": "f32", "value": "1065353214"}]}, "expected": [{"type": "f32", "value": "1065353217"}]}, 
   228    {"type": "assert_return", "line": 370, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "4607182418800017409"}, {"type": "f64", "value": "4607182418800017407"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]}, 
   229    {"type": "assert_return", "line": 371, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "4607182418800017410"}, {"type": "f64", "value": "4607182418800017406"}]}, "expected": [{"type": "f64", "value": "4607182418800017409"}]}, 
   230    {"type": "assert_return", "line": 375, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "8388608"}, {"type": "f32", "value": "872415232"}]}, "expected": [{"type": "f32", "value": "1"}]}, 
   231    {"type": "assert_return", "line": 376, "action": {"type": "invoke", "field": "f64.mul", "args": [{"type": "f64", "value": "4503599627370496"}, {"type": "f64", "value": "4372995238176751616"}]}, "expected": [{"type": "f64", "value": "1"}]}, 
   232    {"type": "assert_return", "line": 379, "action": {"type": "invoke", "field": "f32.mul", "args": [{"type": "f32", "value": "3246392064"}, {"type": "f32", "value": "212992"}]}, "expected": [{"type": "f32", "value": "2150891832"}]}, 
   233    {"type": "assert_return", "line": 382, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1066388847"}, {"type": "f32", "value": "1120403456"}]}, "expected": [{"type": "f32", "value": "1010307378"}]}, 
   234    {"type": "assert_return", "line": 383, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1258294259"}, {"type": "f32", "value": "1262485497"}]}, "expected": [{"type": "f32", "value": "1059764896"}]}, 
   235    {"type": "assert_return", "line": 384, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1199570944"}, {"type": "f32", "value": "754974720"}]}, "expected": [{"type": "f32", "value": "1509949440"}]}, 
   236    {"type": "assert_return", "line": 385, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1072586677"}, {"type": "f32", "value": "2139095039"}]}, "expected": [{"type": "f32", "value": "3905517"}]}, 
   237    {"type": "assert_return", "line": 386, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1082130432"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "f32", "value": "1068149419"}]}, 
   238    {"type": "assert_return", "line": 387, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4607738418748954166"}, {"type": "f64", "value": "4636737291354636288"}]}, "expected": [{"type": "f64", "value": "4577629909238726725"}]}, 
   239    {"type": "assert_return", "line": 388, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4710766852517658624"}, {"type": "f64", "value": "4713017006285127680"}]}, "expected": [{"type": "f64", "value": "4604182212107680295"}]}, 
   240    {"type": "assert_return", "line": 389, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4679240012837945344"}, {"type": "f64", "value": "4440549232587309056"}]}, "expected": [{"type": "f64", "value": "4845873199050653696"}]}, 
   241    {"type": "assert_return", "line": 390, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4611065853604003840"}, {"type": "f64", "value": "9218868437227405311"}]}, "expected": [{"type": "f64", "value": "2096758607839232"}]}, 
   242    {"type": "assert_return", "line": 391, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4616189618054758400"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "f64", "value": "4608683618675807573"}]}, 
   243    {"type": "assert_return", "line": 395, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1249905654"}, {"type": "f32", "value": "1245708284"}]}, "expected": [{"type": "f32", "value": "1068153505"}]}, 
   244    {"type": "assert_return", "line": 396, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4706263254500900864"}, {"type": "f64", "value": "4704009808640999424"}]}, "expected": [{"type": "f64", "value": "4608685812450356035"}]}, 
   245    {"type": "assert_return", "line": 399, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "666187309"}, {"type": "f32", "value": "2138899896"}]}, "expected": [{"type": "f32", "value": "0"}]}, 
   246    {"type": "assert_return", "line": 400, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "338737113"}, {"type": "f32", "value": "1637454009"}]}, "expected": [{"type": "f32", "value": "0"}]}, 
   247    {"type": "assert_return", "line": 401, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "3351999420"}, {"type": "f32", "value": "401966635"}]}, "expected": [{"type": "f32", "value": "4015268357"}]}, 
   248    {"type": "assert_return", "line": 402, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "2582720800"}, {"type": "f32", "value": "2197197239"}]}, "expected": [{"type": "f32", "value": "1450863298"}]}, 
   249    {"type": "assert_return", "line": 403, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "3564182439"}, {"type": "f32", "value": "397999726"}]}, "expected": [{"type": "f32", "value": "4230402947"}]}, 
   250    {"type": "assert_return", "line": 404, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "5269602717919885505"}, {"type": "f64", "value": "5615431061534361830"}]}, "expected": [{"type": "f64", "value": "4261119458085367075"}]}, 
   251    {"type": "assert_return", "line": 405, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "1791703022234099881"}, {"type": "f64", "value": "230587289790163684"}]}, "expected": [{"type": "f64", "value": "6167818452243445017"}]}, 
   252    {"type": "assert_return", "line": 406, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "15176390632865983384"}, {"type": "f64", "value": "7489729865403831125"}]}, "expected": [{"type": "f64", "value": "12293662509603441500"}]}, 
   253    {"type": "assert_return", "line": 407, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "16945752639368638170"}, {"type": "f64", "value": "5718505335991307775"}]}, "expected": [{"type": "f64", "value": "15834399302320062011"}]}, 
   254    {"type": "assert_return", "line": 408, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "16263708435887736913"}, {"type": "f64", "value": "6648866667391375614"}]}, "expected": [{"type": "f64", "value": "14221856927329063502"}]}, 
   255    {"type": "assert_return", "line": 411, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "3798033061"}, {"type": "f32", "value": "2491443361"}]}, "expected": [{"type": "f32", "value": "2139095040"}]}, 
   256    {"type": "assert_return", "line": 412, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "686927199"}, {"type": "f32", "value": "1440960248"}]}, "expected": [{"type": "f32", "value": "310908762"}]}, 
   257    {"type": "assert_return", "line": 413, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1067646869"}, {"type": "f32", "value": "3960423338"}]}, "expected": [{"type": "f32", "value": "2467406247"}]}, 
   258    {"type": "assert_return", "line": 414, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "642177221"}, {"type": "f32", "value": "2685135"}]}, "expected": [{"type": "f32", "value": "1713065419"}]}, 
   259    {"type": "assert_return", "line": 415, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1824271560"}, {"type": "f32", "value": "1797890210"}]}, "expected": [{"type": "f32", "value": "1091436270"}]}, 
   260    {"type": "assert_return", "line": 416, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4278321332874065"}, {"type": "f64", "value": "15464375907975098426"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]}, 
   261    {"type": "assert_return", "line": 417, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "9385779280320516508"}, {"type": "f64", "value": "2195352144435258723"}]}, "expected": [{"type": "f64", "value": "11796946241575527184"}]}, 
   262    {"type": "assert_return", "line": 418, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "12019785500442997560"}, {"type": "f64", "value": "14033717547286793792"}]}, "expected": [{"type": "f64", "value": "2592881844429368931"}]}, 
   263    {"type": "assert_return", "line": 419, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "14192622858179995755"}, {"type": "f64", "value": "1048270709368415171"}]}, "expected": [{"type": "f64", "value": "17751311910175316838"}]}, 
   264    {"type": "assert_return", "line": 420, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "14895971708944847415"}, {"type": "f64", "value": "14082502105592202184"}]}, "expected": [{"type": "f64", "value": "5420603229995464966"}]}, 
   265    {"type": "assert_return", "line": 423, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1286756690"}, {"type": "f32", "value": "74754985"}]}, "expected": [{"type": "f32", "value": "2139095040"}]}, 
   266    {"type": "assert_return", "line": 424, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "3861505243"}, {"type": "f32", "value": "1298875600"}]}, "expected": [{"type": "f32", "value": "3627605330"}]}, 
   267    {"type": "assert_return", "line": 425, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1387472197"}, {"type": "f32", "value": "4021087697"}]}, "expected": [{"type": "f32", "value": "2726599162"}]}, 
   268    {"type": "assert_return", "line": 426, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "4149014653"}, {"type": "f32", "value": "3294714580"}]}, "expected": [{"type": "f32", "value": "1919471347"}]}, 
   269    {"type": "assert_return", "line": 427, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "3987554477"}, {"type": "f32", "value": "3327836421"}]}, "expected": [{"type": "f32", "value": "1724563548"}]}, 
   270    {"type": "assert_return", "line": 428, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "10882983485852580843"}, {"type": "f64", "value": "1499380901194126188"}]}, "expected": [{"type": "f64", "value": "13990715555071506017"}]}, 
   271    {"type": "assert_return", "line": 429, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "17353632673902705731"}, {"type": "f64", "value": "11343375610449883809"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]}, 
   272    {"type": "assert_return", "line": 430, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "10471640091267549911"}, {"type": "f64", "value": "4317563730789156718"}]}, "expected": [{"type": "f64", "value": "10760831595995331201"}]}, 
   273    {"type": "assert_return", "line": 431, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "15262578458239868670"}, {"type": "f64", "value": "11184694400998603321"}]}, "expected": [{"type": "f64", "value": "8684356686754640262"}]}, 
   274    {"type": "assert_return", "line": 432, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "5423766533942924987"}, {"type": "f64", "value": "14797877595923399406"}]}, "expected": [{"type": "f64", "value": "13679565210380085385"}]}, 
   275    {"type": "assert_return", "line": 435, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "16467910284400317286"}, {"type": "f64", "value": "14710955777971283471"}]}, "expected": [{"type": "f64", "value": "6363956244686200611"}]}, 
   276    {"type": "assert_return", "line": 436, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "16290965053652735591"}, {"type": "f64", "value": "15317706837775392625"}]}, "expected": [{"type": "f64", "value": "5580355845867636249"}]}, 
   277    {"type": "assert_return", "line": 437, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "5440366292977110369"}, {"type": "f64", "value": "18177315027663270891"}]}, "expected": [{"type": "f64", "value": "10316437533262127859"}]}, 
   278    {"type": "assert_return", "line": 438, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "5586144947709395659"}, {"type": "f64", "value": "6532436425888624877"}]}, "expected": [{"type": "f64", "value": "3660708720660625999"}]}, 
   279    {"type": "assert_return", "line": 439, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "17550005606375580620"}, {"type": "f64", "value": "6180045224129992598"}]}, "expected": [{"type": "f64", "value": "15976575755200563719"}]}, 
   280    {"type": "assert_return", "line": 442, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4611065853588275309"}, {"type": "f64", "value": "9218868437227405311"}]}, "expected": [{"type": "f64", "value": "2096758603907099"}]}, 
   281    {"type": "assert_return", "line": 443, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "58005932411648970"}, {"type": "f64", "value": "4662638783615926141"}]}, "expected": [{"type": "f64", "value": "3222112482593593"}]}, 
   282    {"type": "assert_return", "line": 444, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "13185764271695251812"}, {"type": "f64", "value": "17795032469661562376"}]}, "expected": [{"type": "f64", "value": "1594123367530375"}]}, 
   283    {"type": "assert_return", "line": 445, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "12062544014359965409"}, {"type": "f64", "value": "16674780236028867992"}]}, "expected": [{"type": "f64", "value": "1036869663772871"}]}, 
   284    {"type": "assert_return", "line": 446, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "752499975442349235"}, {"type": "f64", "value": "5356690663768240614"}]}, "expected": [{"type": "f64", "value": "3442089173194313"}]}, 
   285    {"type": "assert_return", "line": 447, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "83041154348962762"}, {"type": "f64", "value": "13934889252531101931"}]}, "expected": [{"type": "f64", "value": "9223458798833500621"}]}, 
   286    {"type": "assert_return", "line": 450, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1817629909"}, {"type": "f32", "value": "1421132838"}]}, "expected": [{"type": "f32", "value": "1461198615"}]}, 
   287    {"type": "assert_return", "line": 451, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1824604388"}, {"type": "f32", "value": "4105258014"}]}, "expected": [{"type": "f32", "value": "3079375694"}]}, 
   288    {"type": "assert_return", "line": 452, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1747858929"}, {"type": "f32", "value": "1063784191"}]}, "expected": [{"type": "f32", "value": "1749036825"}]}, 
   289    {"type": "assert_return", "line": 453, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "3378374953"}, {"type": "f32", "value": "3497907368"}]}, "expected": [{"type": "f32", "value": "945802923"}]}, 
   290    {"type": "assert_return", "line": 454, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "2861015275"}, {"type": "f32", "value": "3684669151"}]}, "expected": [{"type": "f32", "value": "240750700"}]}, 
   291    {"type": "assert_return", "line": 455, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4885037015672297625"}, {"type": "f64", "value": "9954263091431620051"}]}, "expected": [{"type": "f64", "value": "17984289216286432053"}]}, 
   292    {"type": "assert_return", "line": 456, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4022347395424227722"}, {"type": "f64", "value": "11486191764643320419"}]}, "expected": [{"type": "f64", "value": "15589554694846453438"}]}, 
   293    {"type": "assert_return", "line": 457, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "7623973190248181230"}, {"type": "f64", "value": "7481900282945497881"}]}, "expected": [{"type": "f64", "value": "4748664889769504925"}]}, 
   294    {"type": "assert_return", "line": 458, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "14650287530633645126"}, {"type": "f64", "value": "8091500841285620267"}]}, "expected": [{"type": "f64", "value": "11165393291297270552"}]}, 
   295    {"type": "assert_return", "line": 459, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "9910334119372230161"}, {"type": "f64", "value": "10921408834055405722"}]}, "expected": [{"type": "f64", "value": "3596021921286071170"}]}, 
   296    {"type": "assert_return", "line": 462, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4352764235752579571"}, {"type": "f64", "value": "4610853254537913145"}]}, "expected": [{"type": "f64", "value": "4348952422448611708"}]}, 
   297    {"type": "assert_return", "line": 463, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4148344307949876337"}, {"type": "f64", "value": "13642564096968604240"}]}, "expected": [{"type": "f64", "value": "13559333871418047670"}]}, 
   298    {"type": "assert_return", "line": 464, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4425554483259831683"}, {"type": "f64", "value": "4103199251532205583"}]}, "expected": [{"type": "f64", "value": "4929315895081747238"}]}, 
   299    {"type": "assert_return", "line": 465, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "5011653323436109419"}, {"type": "f64", "value": "5044067306150920275"}]}, "expected": [{"type": "f64", "value": "4574739988274663188"}]}, 
   300    {"type": "assert_return", "line": 466, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4558988817252519457"}, {"type": "f64", "value": "14066629987516208597"}]}, "expected": [{"type": "f64", "value": "13546063418479940250"}]}, 
   301    {"type": "assert_return", "line": 469, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "8388608"}, {"type": "f32", "value": "8388607"}]}, "expected": [{"type": "f32", "value": "1065353217"}]}, 
   302    {"type": "assert_return", "line": 470, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "8388607"}, {"type": "f32", "value": "8388608"}]}, "expected": [{"type": "f32", "value": "1065353214"}]}, 
   303    {"type": "assert_return", "line": 471, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4503599627370496"}, {"type": "f64", "value": "4503599627370495"}]}, "expected": [{"type": "f64", "value": "4607182418800017409"}]}, 
   304    {"type": "assert_return", "line": 472, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4503599627370495"}, {"type": "f64", "value": "4503599627370496"}]}, "expected": [{"type": "f64", "value": "4607182418800017406"}]}, 
   305    {"type": "assert_return", "line": 475, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "880803839"}, {"type": "f32", "value": "2139095039"}]}, "expected": [{"type": "f32", "value": "0"}]}, 
   306    {"type": "assert_return", "line": 476, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "880803840"}, {"type": "f32", "value": "2139095039"}]}, "expected": [{"type": "f32", "value": "1"}]}, 
   307    {"type": "assert_return", "line": 477, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4377498837804122111"}, {"type": "f64", "value": "9218868437227405311"}]}, "expected": [{"type": "f64", "value": "0"}]}, 
   308    {"type": "assert_return", "line": 478, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4377498837804122112"}, {"type": "f64", "value": "9218868437227405311"}]}, "expected": [{"type": "f64", "value": "1"}]}, 
   309    {"type": "assert_return", "line": 481, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "2097152"}]}, "expected": [{"type": "f32", "value": "2139095040"}]}, 
   310    {"type": "assert_return", "line": 482, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "2097153"}]}, "expected": [{"type": "f32", "value": "2139095032"}]}, 
   311    {"type": "assert_return", "line": 483, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "1125899906842624"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]}, 
   312    {"type": "assert_return", "line": 484, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "1125899906842625"}]}, "expected": [{"type": "f64", "value": "9218868437227405304"}]}, 
   313    {"type": "assert_return", "line": 487, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "2122317825"}]}, "expected": [{"type": "f32", "value": "8388607"}]}, 
   314    {"type": "assert_return", "line": 488, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "2122317824"}]}, "expected": [{"type": "f32", "value": "8388608"}]}, 
   315    {"type": "assert_return", "line": 489, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "9209861237972664321"}]}, "expected": [{"type": "f64", "value": "4503599627370495"}]}, 
   316    {"type": "assert_return", "line": 490, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "9209861237972664320"}]}, "expected": [{"type": "f64", "value": "4503599627370496"}]}, 
   317    {"type": "assert_return", "line": 500, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "f32", "value": "1051372203"}]}, 
   318    {"type": "assert_return", "line": 501, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1077936128"}, {"type": "f32", "value": "1091567616"}]}, "expected": [{"type": "f32", "value": "1051372203"}]}, 
   319    {"type": "assert_return", "line": 502, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1091567616"}, {"type": "f32", "value": "1104674816"}]}, "expected": [{"type": "f32", "value": "1051372203"}]}, 
   320    {"type": "assert_return", "line": 503, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "f64", "value": "4599676419421066581"}]}, 
   321    {"type": "assert_return", "line": 504, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4613937818241073152"}, {"type": "f64", "value": "4621256167635550208"}]}, "expected": [{"type": "f64", "value": "4599676419421066581"}]}, 
   322    {"type": "assert_return", "line": 505, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4621256167635550208"}, {"type": "f64", "value": "4628293042053316608"}]}, "expected": [{"type": "f64", "value": "4599676419421066581"}]}, 
   323    {"type": "assert_return", "line": 508, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1065353217"}, {"type": "f32", "value": "1065353215"}]}, "expected": [{"type": "f32", "value": "1065353218"}]}, 
   324    {"type": "assert_return", "line": 509, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1065353215"}, {"type": "f32", "value": "1065353217"}]}, "expected": [{"type": "f32", "value": "1065353213"}]}, 
   325    {"type": "assert_return", "line": 510, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "1065353215"}]}, "expected": [{"type": "f32", "value": "1065353217"}]}, 
   326    {"type": "assert_return", "line": 511, "action": {"type": "invoke", "field": "f32.div", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "1065353217"}]}, "expected": [{"type": "f32", "value": "1065353214"}]}, 
   327    {"type": "assert_return", "line": 512, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4607182418800017409"}, {"type": "f64", "value": "4607182418800017407"}]}, "expected": [{"type": "f64", "value": "4607182418800017410"}]}, 
   328    {"type": "assert_return", "line": 513, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4607182418800017407"}, {"type": "f64", "value": "4607182418800017409"}]}, "expected": [{"type": "f64", "value": "4607182418800017405"}]}, 
   329    {"type": "assert_return", "line": 514, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "4607182418800017407"}]}, "expected": [{"type": "f64", "value": "4607182418800017409"}]}, 
   330    {"type": "assert_return", "line": 515, "action": {"type": "invoke", "field": "f64.div", "args": [{"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "4607182418800017409"}]}, "expected": [{"type": "f64", "value": "4607182418800017406"}]}, 
   331    {"type": "assert_return", "line": 519, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1126891520"}]}, "expected": [{"type": "f32", "value": "1095842342"}]}, 
   332    {"type": "assert_return", "line": 520, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "875341566"}]}, "expected": [{"type": "f32", "value": "970079310"}]}, 
   333    {"type": "assert_return", "line": 521, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4640220544191430656"}]}, "expected": [{"type": "f64", "value": "4623551143926461685"}]}, 
   334    {"type": "assert_return", "line": 522, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4505170691092029701"}]}, "expected": [{"type": "f64", "value": "4556032630010904473"}]}, 
   335    {"type": "assert_return", "line": 525, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "3868634135368364633"}]}, "expected": [{"type": "f64", "value": "4237908228221851551"}]}, 
   336    {"type": "assert_return", "line": 526, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "6130334638238385213"}]}, "expected": [{"type": "f64", "value": "5368736472460186647"}]}, 
   337    {"type": "assert_return", "line": 527, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "6420749722515481850"}]}, "expected": [{"type": "f64", "value": "5513761933181195411"}]}, 
   338    {"type": "assert_return", "line": 528, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4441983858611369811"}]}, "expected": [{"type": "f64", "value": "4524423892028972029"}]}, 
   339    {"type": "assert_return", "line": 529, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "2943222801950574478"}]}, "expected": [{"type": "f64", "value": "3775077603066051757"}]}, 
   340    {"type": "assert_return", "line": 533, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4607182418800017407"}]}, "expected": [{"type": "f64", "value": "4607182418800017407"}]}, 
   341    {"type": "assert_return", "line": 536, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1040498738"}]}, "expected": [{"type": "f32", "value": "1052268824"}]}, 
   342    {"type": "assert_return", "line": 537, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1911349112"}]}, "expected": [{"type": "f32", "value": "1487806505"}]}, 
   343    {"type": "assert_return", "line": 538, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1033984731"}]}, "expected": [{"type": "f32", "value": "1049605767"}]}, 
   344    {"type": "assert_return", "line": 539, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "471548520"}]}, "expected": [{"type": "f32", "value": "768040305"}]}, 
   345    {"type": "assert_return", "line": 540, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "980180519"}]}, "expected": [{"type": "f32", "value": "1022754037"}]}, 
   346    {"type": "assert_return", "line": 541, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "447478826231748356"}]}, "expected": [{"type": "f64", "value": "2527268346316778217"}]}, 
   347    {"type": "assert_return", "line": 542, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "7882765141420635228"}]}, "expected": [{"type": "f64", "value": "6244818117372907505"}]}, 
   348    {"type": "assert_return", "line": 543, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "6345006020483303032"}]}, "expected": [{"type": "f64", "value": "5476089630784211276"}]}, 
   349    {"type": "assert_return", "line": 544, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "5080974719163899092"}]}, "expected": [{"type": "f64", "value": "4843851732197030563"}]}, 
   350    {"type": "assert_return", "line": 545, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "9108179429173493573"}]}, "expected": [{"type": "f64", "value": "6857570252025178944"}]}, 
   351    {"type": "assert_return", "line": 548, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1293112087"}]}, "expected": [{"type": "f32", "value": "1178743848"}]}, 
   352    {"type": "assert_return", "line": 549, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "118173697"}]}, "expected": [{"type": "f32", "value": "591184817"}]}, 
   353    {"type": "assert_return", "line": 550, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "941555112"}]}, "expected": [{"type": "f32", "value": "1003077404"}]}, 
   354    {"type": "assert_return", "line": 551, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "60323222"}]}, "expected": [{"type": "f32", "value": "562803203"}]}, 
   355    {"type": "assert_return", "line": 552, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "40220718"}]}, "expected": [{"type": "f32", "value": "552763653"}]}, 
   356    {"type": "assert_return", "line": 553, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "7741365502393472048"}]}, "expected": [{"type": "f64", "value": "6174272493021072850"}]}, 
   357    {"type": "assert_return", "line": 554, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "1175297548666390979"}]}, "expected": [{"type": "f64", "value": "2891239701856850373"}]}, 
   358    {"type": "assert_return", "line": 555, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4474969389470739153"}]}, "expected": [{"type": "f64", "value": "4540897185465678583"}]}, 
   359    {"type": "assert_return", "line": 556, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "3521792205891300764"}]}, "expected": [{"type": "f64", "value": "4064104284248214854"}]}, 
   360    {"type": "assert_return", "line": 557, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "8798159938601760820"}]}, "expected": [{"type": "f64", "value": "6702520650372831162"}]}, 
   361    {"type": "assert_return", "line": 560, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "2058533950"}]}, "expected": [{"type": "f32", "value": "1561805138"}]}, 
   362    {"type": "assert_return", "line": 561, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1194962978"}]}, "expected": [{"type": "f32", "value": "1129973536"}]}, 
   363    {"type": "assert_return", "line": 562, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1062209384"}]}, "expected": [{"type": "f32", "value": "1063699830"}]}, 
   364    {"type": "assert_return", "line": 563, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "339551808"}]}, "expected": [{"type": "f32", "value": "702287090"}]}, 
   365    {"type": "assert_return", "line": 564, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "279876202"}]}, "expected": [{"type": "f32", "value": "672496559"}]}, 
   366    {"type": "assert_return", "line": 565, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "7933654283200418420"}]}, "expected": [{"type": "f64", "value": "6270248298536475417"}]}, 
   367    {"type": "assert_return", "line": 566, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "2893298197477532149"}]}, "expected": [{"type": "f64", "value": "3750137482611732493"}]}, 
   368    {"type": "assert_return", "line": 567, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "8954101765007123282"}]}, "expected": [{"type": "f64", "value": "6780419764181964566"}]}, 
   369    {"type": "assert_return", "line": 568, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4405641787023763989"}]}, "expected": [{"type": "f64", "value": "4506213966714545194"}]}, 
   370    {"type": "assert_return", "line": 569, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "2394824404681191749"}]}, "expected": [{"type": "f64", "value": "3500764341454448999"}]}, 
   371    {"type": "assert_return", "line": 572, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "9494538992465685200"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]}, 
   372    {"type": "assert_return", "line": 573, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "5074882158241187075"}]}, "expected": [{"type": "f64", "value": "4841025724322244342"}]}, 
   373    {"type": "assert_return", "line": 574, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "1187437724299488295"}]}, "expected": [{"type": "f64", "value": "2897120674751402313"}]}, 
   374    {"type": "assert_return", "line": 575, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "3368223178643061438"}]}, "expected": [{"type": "f64", "value": "3987382964717611901"}]}, 
   375    {"type": "assert_return", "line": 576, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "7161993531047854177"}]}, "expected": [{"type": "f64", "value": "5884408968142469554"}]}, 
   376    {"type": "assert_return", "line": 579, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1065353217"}]}, "expected": [{"type": "f32", "value": "1065353216"}]}, 
   377    {"type": "assert_return", "line": 580, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1065353218"}]}, "expected": [{"type": "f32", "value": "1065353217"}]}, 
   378    {"type": "assert_return", "line": 581, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4607182418800017409"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]}, 
   379    {"type": "assert_return", "line": 582, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4607182418800017410"}]}, "expected": [{"type": "f64", "value": "4607182418800017409"}]}, 
   380    {"type": "assert_return", "line": 585, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1065353214"}]}, "expected": [{"type": "f32", "value": "1065353215"}]}, 
   381    {"type": "assert_return", "line": 586, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1065353213"}]}, "expected": [{"type": "f32", "value": "1065353214"}]}, 
   382    {"type": "assert_return", "line": 587, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4607182418800017406"}]}, "expected": [{"type": "f64", "value": "4607182418800017407"}]}, 
   383    {"type": "assert_return", "line": 588, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4607182418800017405"}]}, "expected": [{"type": "f64", "value": "4607182418800017406"}]}, 
   384    {"type": "assert_return", "line": 592, "action": {"type": "invoke", "field": "f32.abs", "args": [{"type": "f32", "value": "2139156962"}]}, "expected": [{"type": "f32", "value": "2139156962"}]}, 
   385    {"type": "assert_return", "line": 593, "action": {"type": "invoke", "field": "f32.abs", "args": [{"type": "f32", "value": "4286640610"}]}, "expected": [{"type": "f32", "value": "2139156962"}]}, 
   386    {"type": "assert_return", "line": 594, "action": {"type": "invoke", "field": "f64.abs", "args": [{"type": "f64", "value": "9218868441285556843"}]}, "expected": [{"type": "f64", "value": "9218868441285556843"}]}, 
   387    {"type": "assert_return", "line": 595, "action": {"type": "invoke", "field": "f64.abs", "args": [{"type": "f64", "value": "18442240478140332651"}]}, "expected": [{"type": "f64", "value": "9218868441285556843"}]}, 
   388    {"type": "assert_return", "line": 597, "action": {"type": "invoke", "field": "f32.neg", "args": [{"type": "f32", "value": "2139156962"}]}, "expected": [{"type": "f32", "value": "4286640610"}]}, 
   389    {"type": "assert_return", "line": 598, "action": {"type": "invoke", "field": "f32.neg", "args": [{"type": "f32", "value": "4286640610"}]}, "expected": [{"type": "f32", "value": "2139156962"}]}, 
   390    {"type": "assert_return", "line": 599, "action": {"type": "invoke", "field": "f64.neg", "args": [{"type": "f64", "value": "9218868441285556843"}]}, "expected": [{"type": "f64", "value": "18442240478140332651"}]}, 
   391    {"type": "assert_return", "line": 600, "action": {"type": "invoke", "field": "f64.neg", "args": [{"type": "f64", "value": "18442240478140332651"}]}, "expected": [{"type": "f64", "value": "9218868441285556843"}]}, 
   392    {"type": "assert_return", "line": 602, "action": {"type": "invoke", "field": "f32.copysign", "args": [{"type": "f32", "value": "2139156962"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "f32", "value": "2139156962"}]}, 
   393    {"type": "assert_return", "line": 603, "action": {"type": "invoke", "field": "f32.copysign", "args": [{"type": "f32", "value": "2139156962"}, {"type": "f32", "value": "4290772992"}]}, "expected": [{"type": "f32", "value": "4286640610"}]}, 
   394    {"type": "assert_return", "line": 604, "action": {"type": "invoke", "field": "f32.copysign", "args": [{"type": "f32", "value": "4286640610"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "f32", "value": "2139156962"}]}, 
   395    {"type": "assert_return", "line": 605, "action": {"type": "invoke", "field": "f32.copysign", "args": [{"type": "f32", "value": "4286640610"}, {"type": "f32", "value": "4290772992"}]}, "expected": [{"type": "f32", "value": "4286640610"}]}, 
   396    {"type": "assert_return", "line": 606, "action": {"type": "invoke", "field": "f64.copysign", "args": [{"type": "f64", "value": "9218868441285556843"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "f64", "value": "9218868441285556843"}]}, 
   397    {"type": "assert_return", "line": 607, "action": {"type": "invoke", "field": "f64.copysign", "args": [{"type": "f64", "value": "9218868441285556843"}, {"type": "f64", "value": "18444492273895866368"}]}, "expected": [{"type": "f64", "value": "18442240478140332651"}]}, 
   398    {"type": "assert_return", "line": 608, "action": {"type": "invoke", "field": "f64.copysign", "args": [{"type": "f64", "value": "18442240478140332651"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "f64", "value": "9218868441285556843"}]}, 
   399    {"type": "assert_return", "line": 609, "action": {"type": "invoke", "field": "f64.copysign", "args": [{"type": "f64", "value": "18442240478140332651"}, {"type": "f64", "value": "18444492273895866368"}]}, "expected": [{"type": "f64", "value": "18442240478140332651"}]}, 
   400    {"type": "assert_return", "line": 612, "action": {"type": "invoke", "field": "f32.ceil", "args": [{"type": "f32", "value": "1065353215"}]}, "expected": [{"type": "f32", "value": "1065353216"}]}, 
   401    {"type": "assert_return", "line": 613, "action": {"type": "invoke", "field": "f32.ceil", "args": [{"type": "f32", "value": "1065353217"}]}, "expected": [{"type": "f32", "value": "1073741824"}]}, 
   402    {"type": "assert_return", "line": 614, "action": {"type": "invoke", "field": "f64.ceil", "args": [{"type": "f64", "value": "4607182418800017407"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]}, 
   403    {"type": "assert_return", "line": 615, "action": {"type": "invoke", "field": "f64.ceil", "args": [{"type": "f64", "value": "4607182418800017409"}]}, "expected": [{"type": "f64", "value": "4611686018427387904"}]}, 
   404    {"type": "assert_return", "line": 618, "action": {"type": "invoke", "field": "f32.ceil", "args": [{"type": "f32", "value": "1258291199"}]}, "expected": [{"type": "f32", "value": "1258291200"}]}, 
   405    {"type": "assert_return", "line": 619, "action": {"type": "invoke", "field": "f32.ceil", "args": [{"type": "f32", "value": "3405774847"}]}, "expected": [{"type": "f32", "value": "3405774846"}]}, 
   406    {"type": "assert_return", "line": 620, "action": {"type": "invoke", "field": "f64.ceil", "args": [{"type": "f64", "value": "4841369599423283199"}]}, "expected": [{"type": "f64", "value": "4841369599423283200"}]}, 
   407    {"type": "assert_return", "line": 621, "action": {"type": "invoke", "field": "f64.ceil", "args": [{"type": "f64", "value": "14064741636278059007"}]}, "expected": [{"type": "f64", "value": "14064741636278059006"}]}, 
   408    {"type": "assert_return", "line": 625, "action": {"type": "invoke", "field": "f32.ceil", "args": [{"type": "f32", "value": "1266679807"}]}, "expected": [{"type": "f32", "value": "1266679807"}]}, 
   409    {"type": "assert_return", "line": 626, "action": {"type": "invoke", "field": "f32.ceil", "args": [{"type": "f32", "value": "3414163455"}]}, "expected": [{"type": "f32", "value": "3414163455"}]}, 
   410    {"type": "assert_return", "line": 627, "action": {"type": "invoke", "field": "f64.ceil", "args": [{"type": "f64", "value": "4845873199050653695"}]}, "expected": [{"type": "f64", "value": "4845873199050653695"}]}, 
   411    {"type": "assert_return", "line": 628, "action": {"type": "invoke", "field": "f64.ceil", "args": [{"type": "f64", "value": "14069245235905429503"}]}, "expected": [{"type": "f64", "value": "14069245235905429503"}]}, 
   412    {"type": "assert_return", "line": 631, "action": {"type": "invoke", "field": "f32.floor", "args": [{"type": "f32", "value": "3212836863"}]}, "expected": [{"type": "f32", "value": "3212836864"}]}, 
   413    {"type": "assert_return", "line": 632, "action": {"type": "invoke", "field": "f32.floor", "args": [{"type": "f32", "value": "3212836865"}]}, "expected": [{"type": "f32", "value": "3221225472"}]}, 
   414    {"type": "assert_return", "line": 633, "action": {"type": "invoke", "field": "f64.floor", "args": [{"type": "f64", "value": "13830554455654793215"}]}, "expected": [{"type": "f64", "value": "13830554455654793216"}]}, 
   415    {"type": "assert_return", "line": 634, "action": {"type": "invoke", "field": "f64.floor", "args": [{"type": "f64", "value": "13830554455654793217"}]}, "expected": [{"type": "f64", "value": "13835058055282163712"}]}, 
   416    {"type": "assert_return", "line": 637, "action": {"type": "invoke", "field": "f32.floor", "args": [{"type": "f32", "value": "3405774847"}]}, "expected": [{"type": "f32", "value": "3405774848"}]}, 
   417    {"type": "assert_return", "line": 638, "action": {"type": "invoke", "field": "f32.floor", "args": [{"type": "f32", "value": "1258291199"}]}, "expected": [{"type": "f32", "value": "1258291198"}]}, 
   418    {"type": "assert_return", "line": 639, "action": {"type": "invoke", "field": "f64.floor", "args": [{"type": "f64", "value": "14064741636278059007"}]}, "expected": [{"type": "f64", "value": "14064741636278059008"}]}, 
   419    {"type": "assert_return", "line": 640, "action": {"type": "invoke", "field": "f64.floor", "args": [{"type": "f64", "value": "4841369599423283199"}]}, "expected": [{"type": "f64", "value": "4841369599423283198"}]}, 
   420    {"type": "assert_return", "line": 644, "action": {"type": "invoke", "field": "f32.floor", "args": [{"type": "f32", "value": "1202524032"}]}, "expected": [{"type": "f32", "value": "1202524032"}]}, 
   421    {"type": "assert_return", "line": 645, "action": {"type": "invoke", "field": "f64.floor", "args": [{"type": "f64", "value": "4680825439885721600"}]}, "expected": [{"type": "f64", "value": "4680825439885721600"}]}, 
   422    {"type": "assert_return", "line": 648, "action": {"type": "invoke", "field": "f32.trunc", "args": [{"type": "f32", "value": "3405774847"}]}, "expected": [{"type": "f32", "value": "3405774846"}]}, 
   423    {"type": "assert_return", "line": 649, "action": {"type": "invoke", "field": "f32.trunc", "args": [{"type": "f32", "value": "1258291199"}]}, "expected": [{"type": "f32", "value": "1258291198"}]}, 
   424    {"type": "assert_return", "line": 650, "action": {"type": "invoke", "field": "f64.trunc", "args": [{"type": "f64", "value": "14064741636278059007"}]}, "expected": [{"type": "f64", "value": "14064741636278059006"}]}, 
   425    {"type": "assert_return", "line": 651, "action": {"type": "invoke", "field": "f64.trunc", "args": [{"type": "f64", "value": "4841369599423283199"}]}, "expected": [{"type": "f64", "value": "4841369599423283198"}]}, 
   426    {"type": "assert_return", "line": 656, "action": {"type": "invoke", "field": "f32.nearest", "args": [{"type": "f32", "value": "1258291201"}]}, "expected": [{"type": "f32", "value": "1258291201"}]}, 
   427    {"type": "assert_return", "line": 657, "action": {"type": "invoke", "field": "f32.nearest", "args": [{"type": "f32", "value": "1258291202"}]}, "expected": [{"type": "f32", "value": "1258291202"}]}, 
   428    {"type": "assert_return", "line": 658, "action": {"type": "invoke", "field": "f32.nearest", "args": [{"type": "f32", "value": "1056964607"}]}, "expected": [{"type": "f32", "value": "0"}]}, 
   429    {"type": "assert_return", "line": 659, "action": {"type": "invoke", "field": "f32.nearest", "args": [{"type": "f32", "value": "1468006399"}]}, "expected": [{"type": "f32", "value": "1468006399"}]}, 
   430    {"type": "assert_return", "line": 660, "action": {"type": "invoke", "field": "f64.nearest", "args": [{"type": "f64", "value": "4841369599423283201"}]}, "expected": [{"type": "f64", "value": "4841369599423283201"}]}, 
   431    {"type": "assert_return", "line": 661, "action": {"type": "invoke", "field": "f64.nearest", "args": [{"type": "f64", "value": "4841369599423283202"}]}, "expected": [{"type": "f64", "value": "4841369599423283202"}]}, 
   432    {"type": "assert_return", "line": 662, "action": {"type": "invoke", "field": "f64.nearest", "args": [{"type": "f64", "value": "4602678819172646911"}]}, "expected": [{"type": "f64", "value": "0"}]}, 
   433    {"type": "assert_return", "line": 663, "action": {"type": "invoke", "field": "f64.nearest", "args": [{"type": "f64", "value": "5084563979301289983"}]}, "expected": [{"type": "f64", "value": "5084563979301289983"}]}, 
   434    {"type": "assert_return", "line": 667, "action": {"type": "invoke", "field": "f32.nearest", "args": [{"type": "f32", "value": "1083179008"}]}, "expected": [{"type": "f32", "value": "1082130432"}]}, 
   435    {"type": "assert_return", "line": 668, "action": {"type": "invoke", "field": "f32.nearest", "args": [{"type": "f32", "value": "3230662656"}]}, "expected": [{"type": "f32", "value": "3229614080"}]}, 
   436    {"type": "assert_return", "line": 669, "action": {"type": "invoke", "field": "f32.nearest", "args": [{"type": "f32", "value": "3227516928"}]}, "expected": [{"type": "f32", "value": "3229614080"}]}, 
   437    {"type": "assert_return", "line": 670, "action": {"type": "invoke", "field": "f64.nearest", "args": [{"type": "f64", "value": "4616752568008179712"}]}, "expected": [{"type": "f64", "value": "4616189618054758400"}]}, 
   438    {"type": "assert_return", "line": 671, "action": {"type": "invoke", "field": "f64.nearest", "args": [{"type": "f64", "value": "13840124604862955520"}]}, "expected": [{"type": "f64", "value": "13839561654909534208"}]}, 
   439    {"type": "assert_return", "line": 672, "action": {"type": "invoke", "field": "f64.nearest", "args": [{"type": "f64", "value": "13838435755002691584"}]}, "expected": [{"type": "f64", "value": "13839561654909534208"}]}, 
   440    {"type": "assert_return", "line": 675, "action": {"type": "invoke", "field": "f32.nearest", "args": [{"type": "f32", "value": "3405774847"}]}, "expected": [{"type": "f32", "value": "3405774848"}]}, 
   441    {"type": "assert_return", "line": 676, "action": {"type": "invoke", "field": "f32.nearest", "args": [{"type": "f32", "value": "1258291199"}]}, "expected": [{"type": "f32", "value": "1258291200"}]}, 
   442    {"type": "assert_return", "line": 677, "action": {"type": "invoke", "field": "f64.nearest", "args": [{"type": "f64", "value": "14064741636278059007"}]}, "expected": [{"type": "f64", "value": "14064741636278059008"}]}, 
   443    {"type": "assert_return", "line": 678, "action": {"type": "invoke", "field": "f64.nearest", "args": [{"type": "f64", "value": "4841369599423283199"}]}, "expected": [{"type": "f64", "value": "4841369599423283200"}]}]}