Fix integer division

integer_division: Dividing integer expressions this->width() and 2,
and then converting the integer quotient to type double. Any remainder,
or fractional part of the quotient, is ignored.

CID:250775