Refactored division, added cases for a or b equaling +0