{"ast_node_type":"import","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
    /// are not strictly inverses, but that poses no problem in our use of them.
    /// Note: this will turn `u128::MAX` into `PosInfinity`. This means `plus_one` and `minus_one`
    /// this will not turn a finite value into an infinite one or vice-versa.