8.2.35 mustBeFinite

Not documented