double x = x + x;;
triple x = x + x + x;;