bool -> int