回答編集履歴

  `sys.argv[2]` はコマンド引数の2番目ですけど、コマンド引数の2番目には `--stdin=9023` が指定してあって float に変換できない、というエラーになってますよ。