Added type switch and casting of float64 numbers to int in Int()