See programming-idioms.org:
Note that the programming idiom states that rounding should be performed with ties to positive infinity.