floor et simplify

[alb]

Certaines expressions du type floor(...) ne se simplifient pas malgré les hypothèses prises.
par exemple:
assume(x>0 et x<pi/2);
E:=floor((pi+2*x)/(2*pi));
simplify(E);

[parisse]

C'est normal car il n'y a rien qui permette de simplifier floor ... pour le moment en tout cas.