module Data.Z (Z, abs, fromN, gtimes, outside) where

import Data.Whole

fromN :: N -> Z
fromN = fromNZ