whoops pseudocode for divwe / divde checking wrong half of result