The aggregation bug that doubled our headline number

We had a number that was wrong by roughly a factor of two, and nothing in the query was broken. No NULL handling bug, no join fan-out, no timezone. The SQL was correct and the answer was still nonsens