How much is 1 PINs Network Token (PINS) in Gibraltar Pound (GIP) by the latest current exchange rate?