[gambit-list] Binary 32/64/16bit integer conversion (to/from u8vector or u8vector port)?