7 #include "cln/ffloat.h"
16 const cl_FF_div_t floor2 (const cl_FF& x, const cl_FF& y)
19 // (q,r) := floor(x/y). Liefere q und x-y*q = y*r.
20 var cl_FF_div_t q_r = floor2(x/y);
21 var cl_I& q = q_r.quotient;
22 var cl_FF& r = q_r.remainder;
23 return cl_FF_div_t(q,y*r);