fail_math.h