Fair enough.   We can indeed remove the cast.