...but weirdly, there's _not_ an `Int::as_u64()` method. _Originally posted by @zslayton in https://github.com/amazon-ion/ion-schema-rust/pull/220#discussion_r1790600599_