Re: [NTG-context] Metapost label - Truncating digits after decimal point