This is a small issue of probably not very big importance, however, I do think it is a bug.
I found that when setting a counter using the Max() function, the counter is converted to a float value, even though the counter continue to display an integer value.

Example:

* Start of level
- Set value("Counter 1") to 19
- Set value("Counter 2") to value( "Counter 1" ) / 5

In this situation Counter 2 will display 3

But now we change the value of Counter 1 to a Max() value:

* Start of level
- Set value("Counter 1") to Max(1,19)
- Set value("Counter 2") to value( "Counter 1" ) / 5

Now Counter 2 will display 3.8. For me, this makes no sense