auto_increment.lua: works with NUM64 also