Comments - my math may not be right on this either, mod-expt-4 and mod-expt return different results for (mod-expt 7 signing-exponent modulus)