module Numeric (
  module Base
) where
import "base" Numeric as Base