EUR/USD at 1.3040, having been as high as 1.3048 so far.