python - ¿Es divmod() más rápido que usar los operadores% y//?