Bug#1974: DIVIDE broken with TUPLE