Can you explain why this was moved to not use the `%` operator in Python (which would be faster)?