Ada - the arithmetic DDS analyzer

Ada is ready.