Define __divmod__, thanks SRI