public static final void writeInteger( long num, byte encoding, OutputStream os ) throws IOException {
		switch( encoding ) {
		case NE_INT8   : writeInt8(   (byte)num, os ); return;
		case NE_INT16  : writeInt16( (short)num, os ); return;
		case NE_INT32  : writeInt32(   (int)num, os ); return;
		case NE_INT64  : writeInt64(        num, os ); return;
		case NE_INT6   : writeInt6(   (byte)num, os ); return;
		default:
			throw new UnsupportedOperationException(String.format("Unsupported integer encoding:, 0x%02x",encoding));
		}
	}