Remove cast to int

Issue in WChargin/jgame#5 was fixed; the expected syntax will work fine now