You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Sahasranaman M S edited this page May 13, 2013
·
3 revisions
0$"123" /parse as int
123
0.0$"123.45678" /parse as float
123.45678
0.0$"123.456789999999" /parse as float (note that default precision (\p) is set to 7)
123.4568
`$"zzz" /convert string to symbol
`zzz
$12345 / convert to string if no target domain is specified.
"12345"
$`abc
"abc"
d[`zzz]:1
1
d[`$"zzz"]
1