12 #include "cl_lfloat.h"
13 #include "cl_rational.h"
16 const cl_LF cl_LF_RA_div (const cl_LF& x, const cl_RA& y)
19 // Write y = u/v. Return (x*v)/u.
22 return cl_LF_I_div(x,y);
25 var const cl_I& u = TheRatio(y)->numerator; // u /= 0
26 var const cl_I& v = TheRatio(y)->denominator; // v /= 0
27 return cl_LF_I_div(The(cl_LF)(cl_LF_I_mul(x,v)),u);