I would think that "lossless" implicit conversion are ok. Right?

For example, implicit conversion from a 32bit signed integer into a 64bit signed integer.