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

Fix issue #2