{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"(types::F32,"}]}
            (types::F32, types::F128) => "__extendsftf2",
            (types::F16, types::F128) => "__extendhftf2",
            (types::F64, types::F128) => "__extenddftf2",