73% of US Government revenues.
Why think small? Why not say it was 99.997% of the government revenues?