It would be the biggest UK lottery jackpot of all time.