!! +exec+ +loop+ +jump+
tit:whileval
type:$type_exec
syntax:Same as the command $(ref1)cmdlist_while_$(ref2)cmdlist_while_">while</a>,\
  but ``='' (``==''), ``!='' compares the numerical values of ``string1'' and ``string2''\
  rather than the strings themselves.
