Explicit float to int conversion: rounding rules

[resetius]

Explicit conversion from float to int via int() currently uses C-style truncation:

• int(-1.5) → -1 (C behavior)

Mathematically correct behavior (and Kumir behavior) should be rounding towards negative infinity:

• int(-1.5) → -2