Is Portugal’s €78bn bailout really €82.2bn?