Type which "</em>" member is 0. This type is useful in the evaluation of boolean in meta-programming.