Go backward to Go up to Top Go forward to Direct Approach

Motivation

• Z has infinite size.

  Infinitely many integers, no upper bound.

• Computer processors can only operate with finite subset.

  On a 64 bit processor, only 2⁶⁴ integers, upper bound 2³².

• How deal with operation "overflows"?

  2²⁰*2³⁰= ?

Need domain for modeling processor arithmetic.