Arithmetic in Basic Algebraic Domains