$bit and NumberInt()