attribute FLOAT16_MAX_FINITE_INTEGER

FLOAT16_MAX_FINITE_INTEGER = 65504

Source: packages/irx/src/irx/analysis/numeric_policy.py:38