Fix an error in [b22cdd67] that can cause a negative infinity to be (rarely)

reported as a positive infinity.

FossilOrigin-Name: 9780b23ca375de6a542516fbc03eb39d5a393ca577718fda231d0d0ccf3b1c7e