Ah, I forgot about `divmod`. I'll double check, but you're probably right.