allow to set and get the value of a constant integer
some fixes and fuzzing strategy documentation