>>537
いや、有理数の掛け算は整数の掛け算を使ってwell-definedに定義される