Forbid singleton types for integers whose type is platform-dependent.

Closes PR13501.