Numeric Filter: a Unix command line filter for processing numbers