We can add an integer to a Value

We have defined corresponding operators,
so rely on them to streamline the code
and increase readibility.

No functional change.
Remove some useless casts

No functional change.
Fix Intel compiler warnings

Fallout from previous patch: Intel compiler
is very noisy.

No functional change.