Data.Nat has new BUILTINs.