Int / Float type inference in constructor

General Usage
2

Does it have to be an inner constructor? If not, there is no problem, I think.

function inverse(x0)
  x = [...]
  y = [...]
  inverse(promote(x,y)...)
end