Matz は int / int (5 / 2) の型を有理数型にしたいそうな