Only 17% of all 64-bit Integers are products of two 32-bit integers