Even if they were sent into the void, bitcoins are highly divisible. Just shift the decimal point over a few places and you've got convenient units once again.