History math/bits/math-finite.h