I think you have a slight misunderstanding regarding this issue.

The actual transaction with the overflow is actually this [1]. It is a valid transaction and for every valid transaction, the inputs has to be mapped to another TXID and in this case, 012cd8f8910355da9dd214627a31acfeb61ac66e13560255bfd87d3e9c50e1ca:0. There is no extra 0.5BTC that was caused by the overflow incident. The transaction in question generated 2 outputs of 90 million Bitcoins each and it was reversed by the community excluding that transaction and continuing on the correct chain which doesn't contain any overflow bug. The Wiki is stating that the 0.5BTC used as the input in that transaction has since been left dormant[2] after the overflow transaction was reversed.

[1] 1d5e512a9723cbef373b970eb52f1e9598ad67e7408077a82fdac194b65333c9
[2] https://blockchair.com/bitcoin/address/17TASsYPbdLrJo3UDxFfCMu5GXmxFwVZSW