explicit cast enum to int, and others