function int_divide now called divide, warning message for int division reinstated, unit tests updated accordingly