int cast and comments in Enumeration.h