Integer casting in fromString