succ
succ
17
The behavior when no name is suggested is conform to the semantic
17
strange_proc
strange_proc
Warning: the given expression is not a constant but an expression to evaluate. A faithful evaluation to 165 bits will be used.
>>>Coucou<<<>>>17<<<>>>2.7182818284590452353602874713526624977572470937<<<
Warning: For at least 1 of the constants previously displayed in decimal, rounding has happened.
true
The behavior when no name is suggested is conform to the semantic
Warning: the given expression is not a constant but an expression to evaluate. A faithful evaluation to 165 bits will be used.
>>>Coucou<<<>>>42<<<>>>2.7182818284590452353602874713526624977572470937<<<
Warning: For at least 1 of the constants previously displayed in decimal, rounding has happened.
false
The behavior when no name is suggested is conform to the semantic
External procedure only doing a side effect
