tests for the square root function
truncate bound
implement trunc
test for trunc
trunc implemented
more prototypes