The node you are looking for is at
ext:short-float-positive-infinity
.