Does anyone have any ideas on how "number crunching" and its relative, "crunching numbers," came to be? What was crunchy about numbers? Curiously, Paul Zebe