Pavel Sanda <sa...@lyx.org> writes:
> ok i changed it to the real number with not problematic binary expansion
> after decimal point.

Clever.

JMarc

Reply via email to