Adding test for ceil function
No, ceil(x) is not floor(x) + 1 strange nobody experienced this.
Also added test for floor
Reimplemented floor using rascal

The java version could not handle very large numbers since it is translated into a real.