Avoid floating point exception
Implement empty() correctly, use default aborting impl. of get_hol()