Help for this page
public class HighBits { ... System.out.printf("%d\n", HIGH_BITS & 0xFFFFFFFFL); } }