EUR/GBP is slipping back, presently at .9385 having earlier posted a session high .9410. Sources report that the BIS has been in the market selling the cross.