Title: Negotiating arithmetic, construction proof
Subjects: Computer arithmetic, Computer security, Floating-point arithmetic