Close #1373 (closed)
Example:
var a = 123; var b = 456; var c = @"""$a\$b"""; print(c); // out: // 123\456