>>386
仕様でドメインが整数集合だと思ってたら、実際は整数集合∪{NaN}ってことだよね?
それこそテストの出番だと思うが