Euclidean division
The "integer part" formula_37 is not in the right interval. So, one has to use Euclidean division by formula_38 for getting formula_39 giving