This issue was discovered during MySQL compatibility testing using the official MySQL test suite (mysql-test/t/auto_increment.test). The test cases that use DOUBLE ...