Compatibility of Order with Addition and Nonnegative Multiplication in $\mathbb{Z}$