Hopefully I added a __div__ function