Use "cast" form for the type conversions