{"ast_node_type":"other","tokens":[{"end":102,"kind":"keyword","start":0,"text":"//"}]}
        // Otherwise, int_ty::MAX must be rounded towards zero, as it is one less than a power of two.
        // They are exactly equal to int_ty::{MIN,MAX} if float_ty has enough significand bits.
        // int_ty::MIN, however, is either zero or a negative power of two and is thus exactly