assume python's `bisect.bisect_right` is already tested