XSB handling IP ranges correctly (and generally) now.