Add type NegInf representing negative infinity
#4031
| Job | Run time |
|---|---|
| 0s | |
| 0s |
NegInf representing negative infinity
#4031
| Job | Run time |
|---|---|
| 0s | |
| 0s |