Numbercrunch: A Mathematician's Toolkit for Making Sense of Your World