There's an RFC that could address the lack of type-level integers: https://github.com/rust-lang/rfcs/pull/1657