The doc comment of `Integer::divides` is `Deprecated, use is_multiple_of instead.` but it does not have `deprecated` attribute.