https://www.dict.cc/englisch-deutsch/number+cruncher+%5Bperson+with+an+interest+in+numbers%5D.html