fix: remove floor from the system.cpp

algebraic-dev · algebraic-dev · commit e4e9ab5f3b56 · 2025-05-23T19:10:57.000-03:00
diff --git a/src/runtime/uv/system.cpp b/src/runtime/uv/system.cpp
@@ -52,8 +52,7 @@ extern "C" LEAN_EXPORT lean_obj_res lean_uv_uptime(obj_arg /* w */) {
         return lean_io_result_mk_error(lean_decode_uv_error(result, nullptr));
     }
 
-    uint64_t uptime_int = (uint64_t)floor(uptime);
-    lean_object* lean_uptime = lean_box_uint64(uptime_int);
+    lean_object* lean_uptime = lean_box_uint64((uint64_t)uptime);
 
     return lean_io_result_mk_ok(lean_uptime);
 }

Original file line number	Diff line number	Diff line change
`@@ -52,8 +52,7 @@ extern "C" LEAN_EXPORT lean_obj_res lean_uv_uptime(obj_arg /* w */) {`
`52`	`52`	`return lean_io_result_mk_error(lean_decode_uv_error(result, nullptr));`
`53`	`53`	`}`
`54`	`54`
`55`		`- uint64_t uptime_int = (uint64_t)floor(uptime);`
`56`		`- lean_object* lean_uptime = lean_box_uint64(uptime_int);`
	`55`	`+ lean_object* lean_uptime = lean_box_uint64((uint64_t)uptime);`
`57`	`56`
`58`	`57`	`return lean_io_result_mk_ok(lean_uptime);`
`59`	`58`	`}`