Wikipedia does not have an article on "number cruncher", but its sister project Wiktionary does:
You can also: