DomPreInt works, but requires time