module ForeignNat where

import Data.ForeignNat

import Data.ForeignNat.Show
import Data.ForeignNat.Divisibility

import Test.ShowNat-Native
import Test.ShowNat-Foreign

import Test.Division-Native
import Test.Division-Foreign