Reuters are quoting a senior EU source. EUR/USD is sneaking a little higher, curently trading at 1.3715.