src/Pure/General/space.scala

--- a/src/Pure/General/space.scala	Sat Jan 28 16:08:43 2023 +0100
+++ b/src/Pure/General/space.scala	Sat Jan 28 16:20:44 2023 +0100
@@ -39,7 +39,7 @@
   def PiB: Double = TiB / 1024
   def EiB: Double = PiB / 1024
 
-  override def toString: String = bytes.toString
+  override def toString: String = Value.Long(bytes)
 
   def print: String = {
     @tailrec def print_unit(x: Double, units: List[String]): String =