Return to Article Details Transreal Foundation for Floating-Point Arithmetic Download Download PDF