Converting to the Euro

The Irish pound was equivalent to €1.27.

The true conversion is decimals longer, but 1.27 is accurate as far as it goes.

The real way that it was converted was: if you were a merchant, you rounded it up; and if an employer, down.