Arbitrarily accurate rational trigonometric enclosures

Both rational endpoints approach the exact real value of sine, cosine, or arctangent as the degree grows. Proving termination of a correctly rounded operation also requires an argument that handles equality with a rounding boundary.