pub const fn pack_u32_pair(high: u32, low: u32) -> u64
Pack two accepted u32 identities into one fact value without narrowing.
u32