Why isn't `2^32 to Max` covered when matching on `u64 % 2`