We need to test CI with x86 floating-point exceptions turned on, so that we can catch numerial issues at their source.