AAI: fix SIGFPE