{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"BinOp::Div"}]}
        BinOp::Div => "__divtf3",
        BinOp::Mul => "__multf3",
        _ => unreachable!("handled in `codegen_float_binop`"),