added new slicing: slice.int_scan()