[bugfix] remainder_in_ring: using exact division is plain wrong.