From 3112916e708278e4066792832cf40936825e4da6 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sat, 17 Jan 2026 13:00:14 -0500
Subject: Real -> Float64 constructor

---
 src/environment.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/environment.c b/src/environment.c
index 31a3fb16..aac1d117 100644
--- a/src/environment.c
+++ b/src/environment.c
@@ -543,7 +543,9 @@ env_t *global_env(bool source_mapping) {
                      {"Float64$from_int32", "func(i:Int32 -> Float64)"}, //
                      {"Float64$from_int64", "func(i:Int64, truncate=no -> Float64)"}, //
                      {"Float64$from_int", "func(i:Int, truncate=no -> Float64)"}, //
-                     {"Float64$from_float32", "func(n:Float32 -> Float32)"});
+                     {"Float64$from_float32", "func(n:Float32 -> Float32)"}, //
+                     {"Real$as_float64", "func(r:Real, truncate=no -> Float64)"}, //
+    );
     ADD_CONSTRUCTORS("Float32", //
                      {"Float32$from_bool", "func(b:Bool -> Float32)"}, //
                      {"Float32$from_byte", "func(b:Byte -> Float32)"}, //
-- 
cgit v1.2.3