{"ast_node_type":"import","tokens":[{"end":103,"kind":"keyword","start":0,"text":"//"}]}
        // destination type. It creates an undef temporary, but *producing* undef is not UB. Our use of
        // This avoids resulting undef because values in range [f_min, f_max] by definition fit into the
        // undef does not introduce any non-determinism either.