{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"}"}]}
                        }
                            f64::from_le_bytes(value)
                        chalk_ir::FloatTy::F16 | chalk_ir::FloatTy::F128 => {