coord(1,2)/2
Let's evaluate: coord(1, 2)2
ⅰ coord(1, 2)2 = coord(12, 22)
coord(12, 22)
ⓘ Simplify the fraction by dividing the numerator and the denominator by 2, their greatest common divisor: 22 = 1
▶Result:   coord(12, 1)
The numeric value of: coord(12, 1) is:
▷ coord(0.5, 1)