As much as I dislike FTX/Sam, there's no way this is correct. What the IRS is probably doing is naming the highest number they can think of in hopes of increasing the percent of liquidated holdings they get once this goes through bankruptcy, which is particularly scummy considering they're just taking the money from people who actually deserve it.