number

Porter constant

A named constant from continued-fraction statistics of rationals. Not Khinchin constant as another CF limit alone, and not a rational as one fraction alone.