Casting of numeric types