Added quick exit for floating int in as_int #8239
Merge pull request #8459 from jugnu/22

fixes #8239