When archiving an Asset linked to an IP Adress in the IPAM feature. The IP Address should be deleted/archived there too.
Maybe even better: Set it grayed out or mark it somehow visually so it's clear that the device behind the IP was archived, but also that is should be free to use.