The Dottie number is the fixed point of the cosine function, or the solution to the equation cos(x)=x.1
Your task will be to make code that approximates this constant. Your code should represent a function that takes an integer as input and outputs a real number. The limit of your function as the input grows should be the Dottie number.
You may output as a fraction, a decimal, or an algebraic representation of a number. Your output should be capable of being arbitrarily precise, floats and doubles are not sufficient for this challenge. If your language is not capable of arbitrary precision numbers, then you must either implement them or choose a new language.
This is a code-golf question so answers will be scored in bytes, with fewer bytes being better.
Tips
One way of calculating the constant is to take any number and repeatedly apply the cosine to it. As the number of applications tends towards infinity the result tends towards the fixed point of cosine.
Here is a fairly accurate approximation of the number.
0.739085133215161
1: Here we will take cosine in radians
Decimal
? \$\endgroup\$ÆẠȷ¡
realizes it's invalid. Tries Brachylog; oh no Brachylog doesn't even do floats. \$\endgroup\$x=cos(x)
? \$\endgroup\$