Multiple results found for `+`...

Did you mean?

 + test_prog::Int::+
   intern fun +(i: Int): Int
   test_location

 + test_prog::Float::+
   intern fun +(f: Float): Float
   test_location