added static_cast<int>()