Nice, I didn't realise the relationship between rotations and the matrix square root: multiplying a vector by the sqrt of the pi/2 rotation matrix rotates it by pi/4!