Oh, you're right. I was thinking of the technique of naively dividing a number by a factor, without my paying attention to the code. Thanks!