code: def multiply_encrypted_to_plaintext(public, encrypted, plaintext, output):
      
      log("Loading public key")
      publickeydata = json.load(public)
      pub = load_public_key(publickeydata)
  
      log("Loading encrypted number")
      enc = load_encrypted_number(encrypted, pub)
  
      log("Loading unencrypted number")
      num = float(plaintext)
  
      log("Multiplying")
      enc_result = enc * num
  
      serialised_result = serialise_encrypted(enc_result)
      print(serialised_result, file=output)
docs: Multiply encrypted num with unencrypted num.
  
      Requires a PUBLIC key file, a number ENCRYPTED with that public key
      also as a file, and the PLAINTEXT number to multiply.
  
      Creates a new encrypted number.