Indeed, in this case $int should be used, solving the decimal issue


#mircscripting @ irc.swiftirc.net == the best mIRC help channel