Test Posit rotation length