Build the Arith module