Fix doubling state on small state sizes
Redundant floor
isIntegerApproximation test cases