Does that mean that if I write `j"42"` it returns `JS("\"42\"")`? Maybe it is not important since JavaScript does type coercion when needed and can thus transforms a `"42"` string into a `42` number.

Another concern is that you don’t escape `args` quotes: `j"foo\"bar"` gives `JS("\"foo\"bar\"")` instead of `JS("\"foo\\\"bar\"")`.