From 2c0d8f11b30191b49cbfc577a4d5be282d33ac2e Mon Sep 17 00:00:00 2001
From: JannisX11 <jannis4236@gmail.com>
Date: Wed, 5 Feb 2025 00:30:36 +0100
Subject: [PATCH] Fix #2665 tiny numbers not rounded in minified bbmodel

---
 js/io/formats/bbmodel.js | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/js/io/formats/bbmodel.js b/js/io/formats/bbmodel.js
index c85f8320..d1dfb318 100644
--- a/js/io/formats/bbmodel.js
+++ b/js/io/formats/bbmodel.js
@@ -332,15 +332,11 @@ var codec = new Codec('project', {
 		if (options.raw) {
 			return model;
 		} else if (options.compressed) {
-			var json_string = JSON.stringify(model);
+			var json_string = compileJSON(model, {small: true});
 			var compressed = '<lz>'+LZUTF8.compress(json_string, {outputEncoding: 'StorageBinaryString'});
 			return compressed;
 		} else {
-			if (Settings.get('minify_bbmodel') || options.minify) {
-				return JSON.stringify(model);
-			} else {
-				return compileJSON(model);
-			}
+			return compileJSON(model, {small: Settings.get('minify_bbmodel') || options.minify});
 		}
 	},
 	parse(model, path) {