How is the average review score calculated?

How is the average score calculated (round off / round up / round down)?
For instance, if the average score of review is 2.67 (3,3,2 from each reviewer), would that be considered as average score of 2.5 or 3?

The issue asks how review averages are rounded but names no files, tests, or entry points. First locate the code or documentation that calculates or explains the average, then document the rounding rule and verify it against the 3, 3, and 2 example.

Vom Indexierungsmodell aus dem Issue-Text verfasst.