Working on integer arithmetic generation.