In this version we have fixed a bug which caused that some quaternions were wrongly certified as ones which do not lead to bijective digitized rotations.
Acknowledgements:
Special thanks for Victor Ostromoukhov and David Cœurjolly of University of Lyon 1, LIRIS, France, for finding the bug.