boolean --> int