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