module Numeric where