Add tests for non-integer floats being cast to Int silently, and int64 overflows

#3