mikmoore

It seems that `Irrational` is basically `AbstractFloat` with infinity digits. The difference is that, whereas `promote` usually takes two arguments and makes them the wider type, instead it demotes `Irrational`...

A less minimal MWE that gives some insight: ```julia-repl julia> function foo() include("test.jl") return a end foo (generic function with 1 method) julia> a # removing this doesn't change anything...