Revert "Remove int cast on write"
Revert "Remove int cast on write"

This reverts commit 1061e458429c896a297d94be1f1e8c3a72799748.
This caused problems with ikind aware integer domains.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer