1 files changed, 6 insertions, 0 deletions

diff --git a/mps/code/mpm.c b/mps/code/mpm.c
index 84c9fdc870b..a0d66350e7b 100644
--- a/mps/code/mpm.c
+++ b/mps/code/mpm.c
@@ -517,6 +517,12 @@ Res WriteF_firstformat_v(mps_lib_FILE *stream,
             if (res != ResOK) return res;
           } break;
 
+          case '3': {                   /* decimal for thousandths */
+            WriteFU u = va_arg(args, WriteFU);
+            res = WriteWord(stream, (Word)u, 10, 3);
+            if (res != ResOK) return res;
+          } break;
+
           case 'B': {                   /* binary, see .writef.p */
             WriteFB b = va_arg(args, WriteFB);
             res = WriteWord(stream, (Word)b, 2, sizeof(WriteFB) * CHAR_BIT);