const PositiveFiniteNumber: positive(
  NonNegativeFiniteNumber,
);