fix the small/big flag for P6bigint serialization