Assertion: real number | /r/HasAspect | different base-b expansion
Facets:
value: for each integer b ≥
type: OTHER
Source sentences:
text: A given infinite sequence is either normal or not normal, whereas a real number, having a different base-b expansion for each integer b ≥ 2, may be normal in one base but not in another (in which case it is not a normal number).