Since bitcoins aren’t so much real as they are an agreement to treat them as real, won’t he have 800,000 “bitcoins” when he gets out? That’s a bit over 125,00 agreements per year.