-- |
-- Module      : OAlg.Structure.Number
-- Description : numbers as ordered semi rings with infinitely many elements
-- Copyright   : (c) Erich Gut
-- License     : BSD3
-- Maintainer  : zerich.gut@gmail.com
-- 
-- numbers as ordered 'OAlg.Structure.Ring.Defintion.Semiring' with infinitely many elements.
module OAlg.Structure.Number
  ( module Nmb
  )
  where

import OAlg.Structure.Number.Definition as Nmb