added menu item for producing the numeric form of a result
Merge pull request #265 from DemiReticent/to_numer

Added menu item for producing the numeric form of a result