I would like for a function to return `Inf`

in some cases. However, the type of `Inf`

should depend on the floating type of the function arguments. That is, I would like the following

```
function f(x::R) where {R <: Real}
if # some condition
return Inf
end
end
```

to return `Inf16`

if `R == Float16`

, `Inf32`

if `R == Float32`

, `Inf64`

if `R == Float64`

. However, there seem not to be a way of constructing `Inf`

of a given type `R <: Real`

, unlike e.g. `zero`

. Is there a way to do this?