2021-09-08 14:54:28+00:00 In reply to @htfb @htfb @RichardElwes interesting - so you distinguish between the real zero and the imaginary zero?