for F being XFinSequence st F is INT -valued holds
Sum F = addint "**" F