15 Jun
2015
15 Jun
'15
3:36 p.m.
On Mon, Jun 15, 2015 at 3:02 PM, Hans Hagen wrote:
On 6/15/2015 10:02 AM, Mojca Miklavec wrote:
What is the decimal part (".00128") used for?
it's what tikz produces as output ... a rounding error i guess
Ah, ok, I din't know that you were using the TikZ output. Then it's more likely related to "bigpoint" (bp), but that's pure speculation. Mojca