減算で起こるのはアンダフローでしょ?