fix SigFPE in SpringTime.h