GCC 4.7.2 returns a floating point exception.