Challenge: GCD of Two Real Numbers Using the Trailing <requires>

Try to find the GCD of two real numbers using the trailing <requires> clause.