FpySequencer bounds check on integer ops

[zimri-leisher]

F´ Version	4.0.0
Affected Component	FpySequencer

---

Problem Description

Bounds checks should happen on integer arithmetic and conversions.

[kevin-f-ortega]

unsigned overflow is defined. signed overflow is undefined. Just need to specify a behavior for signed overflow and implement that behavior.