You want to use `rfloat.INFINITY` here, I don't think `float("inf")` is RPython.