Rademacher Floating Point Library