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