Precision Computer Science