Protocol std::builtins::Integer

protocol Integer { ... }