module Data.Np (Np (..), toNatural, stimes, sub') where

import Data.Whole

toNatural :: Np -> Natural
toNatural = toNaturalNp

sub' :: Np -> Np -> Z
sub' = subNp'