ModifierPush::init, while validating parameters, reads the same value once as a double and once as an integer and compares them. However, if the double is not zero and also not normal, the behavior is undefined. For non-zero double values, the double value should be checked with std::isnormal before coercing to an integer.