LongNot is located in:

• m3front/derived/LongNot.m3
• m3front/src/builtinLong/LongNot.m3