Use `static_cast` (also in other places)