In this paper, we study some theories of lexicographic products of ordered commutative monoids. In particular we show that the lexicographic product of the ordered commutative monoid of nonnegative integers and the ordered commutative monoid of nonnegative rational numbers admits elimination of quantifiers in some expansive language of the language of ordered monoids.