const FiniteNumber: finite(NonNaNNumber);