fix u64/u32 mismatch in vec_to_amqp_bytes