module Arithmetic::Number0