Nit: I think the actual maximum possible total value is 0x7FFFFFFFFELL.