edomain.h: add EDomain_floor abstraction