Clarisketch

operations with real numbers #6