Python-style divmod() for integers

[MostAwesomeDude]

It would be nice if, instead of writing this:

def x := index // 64
def y := index % 64

I could write this:

def [x, y] := index.divMod(64)

I am not against a new operator either:

def [x, y] := index //% 64

[MostAwesomeDude]

I think that we've got this licked, but I am always suspicious when code passes property testing on the first try.