Since the tournament rules are out, they specify that half points are rounded down. The editor (when converted to PDF) displays those numbers rounded up.