<@U0C2CG716> <@U814V2HM5> there is a difference be...
# getting-started
a
@dalexander @birgersp there is a difference between the two.
.toInt()
actually converts the value (e.g. from string to int), whereas
as Int
just casts the value up/down the inheritance tree