#include <stdio.h> int main() { printf("%d\n",2147483629*2147483647); } $ gcc test.c -o test 2> /dev/null $ ./test 19
$ python -c "print '0x%x' % (2147483629*2147483647)" 0x3ffffff600000013
> 2147483629*2147483647
[1] 4.611686e+18