Failing test case added: -inf=minf?