Implementing the Rademacher distribution