Fix handling of 64 bit numbers in auto_increment