For now, we assume Int <: Float <: Number. If we define Ints as true integers, as we should, we'll need something smarter.