Added KnownNat to import list.