trait IntInputTrait:
    .doc: """
A trait that can be implemented for types that have a non ambiguous
integer as input parameter.
"""
