Programming with Multiple Precision (Studies in