14 const cl_DF_div_t ceiling2 (const cl_DF& x, const cl_DF& y)
17 // (q,r) := ceiling(x/y). Liefere q und x-y*q = y*r.
18 var cl_DF_div_t q_r = ceiling2(x/y);
19 var cl_I& q = q_r.quotient;
20 var cl_DF& r = q_r.remainder;
21 return cl_DF_div_t(q,y*r);