RosettaCodeData/Task/Real-constants-and-functions/ACL2/real-constants-and-functions.acl2

define floor(x);
    if x < 0 then
        -intof(x);
    else
        intof(x);
    endif;
enddefine;

define ceiling(x);
    -floor(-x);
enddefine;