(Arithmetic) Update the project to the new format.