DOGE working on fixing the bad math in government