Python Double Slash Divide