Again, not to be too repetitive, but marriage is outside the legitimate constitutional scope of the federal government. Nevertheless, the fed tax code, etc., deals with it. Another reason to nuke the crazy tax code and go to a simple flat tax. Otherwise government finds all kinds of excuses for intruding into your life where it doesn’t belong.
The feds have been defining marriage for themselves since at least 1780.