Fixed a bug in primality checking.   I'll be happy when we've replaced these routines with something we know is right...
Fixed a bug in primality checking.   I'll be happy when we've replaced these
routines with something we know is right...



sburnett/seattle,sburnett/seattle,sburnett/seattle,sburnett/seattle,sburnett/seattle,sburnett/seattle