ああ、言い忘れた。一応、IoNumber_readFromStream にもあったから、Stream使ったらいけるかも