{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"(types::F128,"}]}
            (types::F128, types::F64) => "__trunctfdf2",
            (types::F64, types::F128) => "__extenddftf2",
            (types::F128, types::F32) => "__trunctfsf2",