Added quick exit for floating int in as_int #8239