Getbigprime is working