{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"ty::Float(float_ty)"}]}
        ty::Float(float_ty) => {
        // (See https://rust-lang.github.io/unsafe-code-guidelines/layout/scalars.html#fixed-width-floating-point-types.)
            typeid.push_str(match float_ty {