pub fn uint_token(n: u64) -> Token