Beyond Integers and Floating Point: Designing and Verifying with Alternate Number Representations Author(s): Russell Klein Download