Text this: Ordered groups with greatest common divisors theory