From 96e85ca24d387586cd9e23e7739c8f9e898c67ec Mon Sep 17 00:00:00 2001 From: orion kindel Date: Wed, 25 Feb 2026 12:29:08 -0600 Subject: [PATCH] dont use exponential format --- src/Mujoco/MJCF/XML.Prop.purs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/Mujoco/MJCF/XML.Prop.purs b/src/Mujoco/MJCF/XML.Prop.purs index bad6b05..93160e9 100644 --- a/src/Mujoco/MJCF/XML.Prop.purs +++ b/src/Mujoco/MJCF/XML.Prop.purs @@ -8,7 +8,8 @@ import Data.Int as Int import Data.Map (Map) import Data.Map as Map import Data.Maybe (fromMaybe) -import Data.Number.Format (toString) as Number +import Data.Number.Format (precision) +import Data.Number.Format (toString, toStringWith) as Number import Data.Symbol (class IsSymbol, reflectSymbol) import Data.Tuple (Tuple) import Data.Tuple.Nested ((/\)) @@ -30,7 +31,7 @@ instance Serialize String where else instance Serialize Int where serialize = Int.toStringAs Int.decimal else instance Serialize Number where - serialize = Number.toString + serialize = Number.toStringWith (precision 5) else instance Serialize Boolean where serialize = show else instance (Serialize a, Serialize b) => Serialize (Either a b) where