module Data.N (N (..), fromNatural, mtimes, toNatural) where

import Data.Whole

toNatural :: N -> Natural
toNatural = toNaturalN

fromNatural :: Natural -> N
fromNatural = fromNaturalN