Prime computation for Diffie Hellman While reading some cryptographic RFCs, came across the Diffie Hellman prime computation formula:

2^1024 - 2^960 - 1 + 2^64 * { [2^894 pi] + 129093 }

I am curious what the expression [2^894 pi] means here. The part specifically confusing me is the space between 2^894 and pi. It cannot be a multiplication operation as that does not give me the correct result. I am sure the answer is straightforward for someone with mathematical background...
It's multiplication of 2^894 and pi.

(2^1024 - 2^960 - 1 + 2^64 * ( (2^894 * pi) + 129093))


Wolfram Alpha