Add overflow-checking variant for primitive arithmetic kernels and explicitly define overflow behavior#2643