From c6184dec6c208d39a329586d0503b7a51bc2ded1 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Mon, 31 Jul 2017 15:15:49 +0200
Subject: [PATCH] nix repl: Support printing floating-point numbers

---
 src/nix/repl.cc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/nix/repl.cc b/src/nix/repl.cc
index e5a597add..781b4463e 100644
--- a/src/nix/repl.cc
+++ b/src/nix/repl.cc
@@ -652,6 +652,10 @@ std::ostream & NixRepl::printValue(std::ostream & str, Value & v, unsigned int m
         str << ESC_BLU "«primop-app»" ESC_END;
         break;
 
+    case tFloat:
+        str << v.fpoint;
+        break;
+
     default:
         str << ESC_RED "«unknown»" ESC_END;
         break;