1 files changed, 18 insertions, 0 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c
index 78a8e0f8..7ed582da 100644
--- a/src/c/urweb.c
+++ b/src/c/urweb.c
@@ -681,3 +681,21 @@ lw_Basis_string lw_Basis_intToString(lw_context ctx, lw_Basis_int n) {
   ctx->heap_front += len+1;
   return r;
 }
+
+lw_Basis_string lw_Basis_floatToString(lw_context ctx, lw_Basis_float n) {
+  int len;
+  char *r;
+
+  lw_check_heap(ctx, FLOATS_MAX);
+  r = ctx->heap_front;
+  sprintf(r, "%g%n", n, &len);
+  ctx->heap_front += len+1;
+  return r;
+}
+
+lw_Basis_string lw_Basis_boolToString(lw_context ctx, lw_Basis_bool b) {
+  if (b == lw_Basis_False)
+    return "False";
+  else
+    return "True";
+}