The Hoa\Realdom library.