Add another example of implicit user defined cast.