feat: implement Exp trait for generic exponentiation

math/exp.mbt

@@ -12,6 +12,14 @@
 // See the License for the specific language governing permissions and
 // limitations under the License.
 
-pub fn exp(input : Double) -> Double {
+trait Exp {
+  exp(Self) -> Double
+}
+
+pub impl Exp for Double with exp(inp) { inp.exp() }
+
+pub impl Exp for Int with exp(inp) { inp.to_double().exp() }
+
+pub fn exp[T : Exp](input : T) -> Double {
   input.exp()
 }

math/math.mbti

@@ -15,7 +15,7 @@ fn ceil(Double) -> Double
 
 fn cos(Double) -> Double
 
-fn exp(Double) -> Double
+fn exp[T : Exp](T) -> Double
 
 fn floor(Double) -> Double
 
@@ -44,6 +44,9 @@ fn trunc(Double) -> Double
 // Type aliases
 
 // Traits
-
+trait Exp
 // Extension Methods
+impl Exp for Int
+
+impl Exp for Double