<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
Hi again,<br>
<br>
<div class="moz-cite-prefix">On 17.02.22 16:25, Stefan Löffler
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:1a2609cb-bc0f-db85-70e2-33b6adfa725c@gmail.com">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
On 17.02.22 11:45, Johannes Heck wrote:<br>
<blockquote type="cite"
cite="mid:CACQ49LnZ8X4BBCfz7R-oH3mMnzGUiK66ft4tH7VGc1Tc=TdNJA@mail.gmail.com">
<div dir="ltr">
<div class="gmail_quote">
<div dir="ltr">
<div>Another point is: on my ruler, the zero-point is
captioned with "2.22045e-16". Is this an insider joke or
an Bug? Why isn't it just "0"?</div>
</div>
</div>
</div>
</blockquote>
<br>
This would be a bug (most likely stemming from imprecise floating
point numbers and the conversion from page coordinates to screen
coordinates).<br>
What operating system are you using (as for me on Ubuntu Linux,
typically 0 is displayed).<br>
</blockquote>
<br>
This should be fixed now in the latest build.<br>
<br>
Best,<br>
Stefan<br>
</body>
</html>