Fix Integer-Casting