We show that an arbitrary GCD domain can be embedded in a Bezout domai
n without changing the set of units. This result continues to hold if
we require the domains to be discretely ordered. We can thus construct
Bezout domains which are models of open induction and in which the or
der type of the set of positive infinite primes is arbitrary of cardin
ality less-than-or-equal-to N1.