Same fix for EncodedSize.__mul__