% SZS status Timeout for float__infinity__negate__abs_
