pi(2^32)/2^32