Function int_lit 

pub fn int_lit(n: BigInt) -> Literal

The canonical Literal for an integer: Int(i64) when it fits (the fast, common path), otherwise the arbitrary-precision BigInt. This is the ONLY sanctioned way to build an integer literal from a BigInt result, guaranteeing the one-representation-per-value invariant on which definitional equality of literals rests.