Oh c'mon I've lost some altcoins that way too, fortunately small amounts. It happens, you format your drive, malware, hardware failure etc. It must feel really bad to lose that much.