I assume no advanced conversion is needed here and the cast is well defined