[dougmwne]

Yes, US companies tend to price a bit higher in non-USD in order to hedge against currency risk. Their profits are reported in USD.