The SUM output port is declared as [64:0] instead of [63:0]. This will result in an extra bit in the output. If you want the output to be 64 bits, you should change the port declaration to output [63:0] SUM.