// Fonction "partie entière"

usepackage("icomma");
size(7cm,5cm,IgnoreAspect);

real[] val={pi,4*sqrt(2),-pi,-4*sqrt(2)};

int x=0,y=0;

label("x",(x,y)); label("floor(x)",(++x,y));
label("ceil(x)",(++x,y)); label("round(x)",(++x,y));

for (real k : val) {
    x=0; --y;
    label(format("$%.5f$",k),(x,y));
    label(format(floor(k)),(++x,y));
    label(format(ceil(k)),(++x,y));
    label(format(round(k)),(++x,y));
}