News about the millions of new 50p coins comes days after Royal Mint, which makes and distributes coins in the UK, responded to a Freedom of Information (FOI) request. The government-owned company said a trial batch of about 1,000 coins has been manufactured so far, but that none have been minted.

Though the Brexit date is currently set for Oct. 31, Johnson is required by law to request a delay until Jan. 31 if he cannot secure a new divorce agreement at an EU summit on Oct. 17-18. A majority of British MPs are opposed to a departure from the EU without such a deal in place.

The new coin had been scheduled for the original Brexit date of March 31, before the departure was delayed repeatedly. Back in 1973, a variant of the 50p coin—worth more than £6 today when adjusting for inflation—marked the UK becoming a member of the European Economic Community, a precursor to the EU.

📬 Sign up for the Daily Brief

Our free, fast, and fun briefing on the global economy, delivered every weekday morning.