tarunon 4/9/2018 2:47 PM

あでもRealNumberは+の定義も持ってた！

2:47 PM

すみません、ここは僕の読めてなかったところだ