[1] [DFN[負整数]]は、[[負]]の[[整数]] です。