So that server that's been running for 40 years... I take it that started as a less than 128-core machine? Is it still running? Have there been any issues with numerical value ranges?