Note that integer-sqrt produces exact output when given exact input.

Closes PR 9542.