fixes #8239

Solved the issue of returning floating Ints to Integers in nsimplify fixes #8239