bugfix: sign error in prim.h: p_ifloor()