Rename def.h to long_arith.h