Beyond Integers and Floating Point: Designing and Verifying with Alternate Number Representations