Pcm: check for integer overflow during multiplication