double (*)(int) から int (*)(int) のキャストって
どのように定義されてるのでしょうか