updated with another fun example about casting when operating on values of different types