But a 128 bit identifier maybe was not the best choice when ipv4 was in the works... maybe 64?