Fix int conversion when the String is a double