long low = ( LEreadInt( buf ) & 0X00000000FFFFFFFFL );
long high = ( LEreadInt( buf ) & 0X00000000FFFFFFFFL );
java.math.BigInteger result=java.math.BigInteger.valueOf(high);
result=result.multiply(java.math.BigInteger.valueOf(0x100000000L));
result=result.add(java.math.BigInteger.valueOf(low));
return new PyLong(result);
}