Implement the numeric binary operation.
Add type-testing and symbol-handling functions.