2 files changed, 10 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 55925df5..96a12637 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -151,6 +151,14 @@ function atan2(n, m){
     return Math.atan2(n, m);
 }
 
+function floor(n){
+    return Math.floor(n);
+}
+
+function abs(n){
+    return Math.abs(n);
+}
+
 // Time, represented as counts of microseconds since the epoch
 
 var time_format = "%c";
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index c1ee28b3..1163daed 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -152,6 +152,7 @@ val float : int -> float
 val ceil : float -> int
 val trunc : float -> int
 val round : float -> int
+val floor : float -> int
 
 (** * Basic Math *)
 
@@ -164,6 +165,7 @@ val asin : float -> float
 val acos : float -> float
 val atan : float -> float
 val atan2 : float -> float -> float
+val abs: float -> float
 
 (** * Time *)