fix SIGFPE in SpringTime