--- a/project_files/hwc/rtl/system.c	Wed Nov 07 16:44:16 2018 -0500
+++ b/project_files/hwc/rtl/system.c	Wed Nov 07 23:43:15 2018 +0100
@@ -343,12 +343,12 @@
     *p = malloc(size);
 }
 
-Integer fpcrtl_trunc(extended n) {
-    return (int) n;
+Int64 fpcrtl_trunc(extended n) {
+    return (Int64) n;
 }
 
 Integer fpcrtl_ceil(extended n) {
-    return (int) (ceil(n));
+    return (Integer) (ceil(n));
 }
 
 LongInt str_to_int(char *src)