Rename Integer divides to is_multiple_of.

This is a fix for #15710.

[breaking-change]