Override division operator in python