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