Add testing for typenum defs #327

Job	Run time
careful	59s
doc	16s
clippy	18s
build (1.85.0, armv7a-none-eabi)	53s
build (1.85.0, thumbv7em-none-eabi)	53s
build (1.85.0, wasm32-unknown-unknown)	47s
build (stable, armv7a-none-eabi)	49s
build (stable, wasm32-unknown-unknown)	46s
build (stable, thumbv7em-none-eabi)	54s
miri (x86_64-unknown-linux-gnu)	42s
miri (s390x-unknown-linux-gnu)	58s
rustfmt	7s
test (1.85.0)	41s
test (stable)	31s
	9m 34s

Provide feedback