public abstract class AbstractSignedInt extends AbstractInt:
def fct<T extends AbstractSignedInt>(value as T) as T: return value