add missing <numeric> include