VTBT, chapter 12 (Types), page 210

     A Bit_type declaration is valid if and  only  if  its
     Constant  is  of  type  `INTEGER', and has a positive
     value.