Did we agree that this wasn't necessary? (Strictly speaking any enum is of type int, but at some point you have to trust the users of your code, so I guess the TODO can be removed.)