[draft] libmicrokit: API for 64-bit number debug print #1531

Job	Run time
rustfmt_check	17s
Freeze Code	17s
clippy_check	42s
Checks / Gitlint	37s
Checks / Portable Shell	9s
Checks / Style	54s
Checks / Trailing Whitespace	5s
Build SDK / Build SDK (Linux x86_64)	32m 13s
Build SDK / Build SDK (macOS, all targets)	28m 17s
	1h 3m 31s

Provide feedback