BoolConstantData::print() prints bool strings, not ints