Hi Marc,

What are good ways to input and output an integer, either from/to an u8vector port, or from/to an u8vector, are there any bundled routines?

There's also the encoding distinction, whether to use the host machine's, or do little endian or big endian.

Thanks