start defining cast_integer