Implement utility method to identify lossless casts

Implement utility method to identify 'lossless' casts, i.e., casts from which the original value of the field can be certainly recovered?

For instance, int -> bigint is true (as you can cast back to int without loss of information), however bigint -> int is false.