everyone!
Please, can you explain me a strange thing. The numeric_std library contains a function "+", addition. I inserted a description of the function.