make sure exactness happens in some places, and is-integer