The premium is charged in $’s. Therefore they have to buy $’s in order to pay the premium. 0.8711 is the rate when buying $’s. (It cannot be 0.8707 anyway because that would mean paying fewer Euros – it is the bank that benefits from the spread not the company, so it is always the rate that is worst for the company 🙂 )