456 + 1 << 32 with 456 + (1 << 32)