int datatype must not accept fractional floats

- added also test for this

Change-Id: I1c3ad92bc10131d6cd096496230222c999f0097e
Reviewed-on: https://forge.frm2.tum.de/review/c/sine2020/secop/playground/+/22737
Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de>
Reviewed-by: Markus Zolliker <markus.zolliker@psi.ch>

secop/datatypes.py

@@ -259,10 +259,11 @@ class IntRange(DataType):
 
     def __call__(self, value):
         try:
+            fvalue = float(value)
             value = int(value)
-            if not (self.min <= value <= self.max) or int(value) != value:
+            if not self.min <= value <= self.max or round(fvalue) != fvalue:
                 raise BadValueError('%r should be an int between %d and %d' %
-                                 (value, self.min, self.max))
+                                    (value, self.min, self.max))
             return value
         except Exception:
             raise BadValueError('Can not convert %r to int' % value)