introduce initial logic for detecting underflows to add/subtract/multiply/divide.