{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"F128Range(lo,"}]}
                                F128Range(lo, hi, end)
                                let hi = hi.map(Quad::from_bits).unwrap_or(Quad::INFINITY);
                            }