Straighten out type issues with Real.exp. In the process, add Real * …

…Real, Complex ** Real, and Real ** Complex.

src/core/Complex.pm

@@ -286,11 +286,11 @@ multi sub infix:<*>(Complex $a, Complex $b) {
     Complex.new($a.re * $b.re - $a.im * $b.im, $a.im * $b.re + $a.re * $b.im);
 }
 
-multi sub infix:<*>(Complex $a, $b) {
+multi sub infix:<*>(Complex $a, Real $b) {
    Complex.new($a.re * $b, $a.im * $b);
 }
 
-multi sub infix:<*>($a, Complex $b) {
+multi sub infix:<*>(Real $a, Complex $b) {
     Complex.new($a * $b.re, $a * $b.im);
 }
 
@@ -332,6 +332,14 @@ multi sub infix:<**>($a, Complex $b) {
     ($a.log * $b).exp;
 }
 
+multi sub infix:<**>(Complex $a, Real $b) {
+   ($a.log * $b).exp;
+}
+
+multi sub infix:<**>(Real $a, Complex $b) {
+    ($a.log * $b).exp;
+}
+
 multi sub log(Complex $x) {
     $x.log()
 }

src/core/Real.pm

@@ -10,12 +10,12 @@ role Real does Numeric {
     }
 
     # Hmmm... should the second argument be Numeric for the next two?
-    method exp(Real $exponent: Real $base = e) {
+    method exp(Real $exponent: Numeric $base = e) {
         $base ** $exponent;
     }
 
-    method log(Real $x: Real $base = e) {
-        $x.Bridge.log($base.Bridge);
+    method log(Real $x: Numeric $base = e) {
+        $x.Bridge.log($base);
     }
 
     method sign(Real $x:) {
@@ -98,6 +98,14 @@ multi sub infix:<->(Num $a, Num $b) {
     pir::sub__NNN($a, $b)
 }
 
+multi sub infix:<*>(Real $a, Real $b) {
+    $a.Bridge * $b.Bridge;
+}
+
+multi sub infix:<*>(Num $a, Num $b) {
+    pir::mul__NNN($a, $b)
+}
+
 multi sub infix:</>(Real $a, Real $b) {
     $a.Bridge / $b.Bridge;
 }