Cast that 1-bit value to an int, for printf

This silences some printf warnings that aren't actually important
because I'm doing this logic a bit at a time.