Explicitly set floating point format for xor example. Fixes #15.