force type casting