(TYPE_MAXIMUM): Add missing cast.