Aut_QR is the identity group. Since every positive element of R is a square, it follows that an automorphism of R sends positives to positives and hence that it preserves the order in R. Trap a given real number between suitable rational numbers.