Interesting! I assumed “General Average” came from the mathematical sense, but it turns out it was the other way round. Etymonline has a good summary: https://www.etymonline.com/word/average