Explain the restrictions on divisor in round*_to_next_multiple_of

This is a comment-only branch.