Rename Integer divides to is_multiple_of.

This is a fix for #15710.