Thread:Type: Sparky/@comment-33134880-20170824184856/@comment-25856498-20170825131038

So it can round down or up, apparently by your words.

In that case we have to determine when exactly it will round down and when it will round up. Or if it's just random