Constant FINITE_NUMBER 

pub const FINITE_NUMBER: RuntimeCheckSpec;

The finite-number check, for authoring code to name directly. 有限数检查，供创作代码直接引用的常量。