ActiveTcl8.5.7を使用しています。

最初に1を代入した変数を1ビットづつ左シフトしていくと80000000hの次は0hになってしまうのですが、
なにも指定しないと変数はUINT32で定義されているのでしょうか?
明示的にUINT64で定義する事は可能ですか?

set shift 1
for { set i 0 } { $i<64 } { incr i } {

set shift_h [format %016X $shift]
set shift [expr $shift << 1]
}