@typecheck_method(start=IR, stop=IR, step=IR)
def __init__(self, start, stop, step):
    super().__init__(start, stop, step)
    self.start = start
    self.stop = stop
    self.step = step
@typecheck_method(start=IR, stop=IR, step=IR)
def __init__(self, start, stop, step):
    super().__init__(start, stop, step)
    self.start = start
    self.stop = stop
    self.step = step