Commit 2025-03-10 18:46 17611d5e
View on Github →chore(Data/Nat): address porting notes (#22775)
Go through and address almost all porting notes in Data/Nat. Most of them are irrelevant or not really something we care about.
Two notes remain, about unported norm_num extensions.