Sep 24 - Find constants to speed up the computation of r(x⋅t/d)r(x \cdot t / d)r(x⋅t/d) for arbitrary t,d∈N1t,d \in \N_1t,d∈N1 and rounding function rrr.