Digamos que você tenha uma variável do tipo ponto flutuante. 32 ou 64 bits não importa.
Você atribui o valor máximo representável à variável. Linguagens de programação típicas têm uma constante para isso.
Como você determina o menor valor que deve ser adicionado à sua variável para que ela "caia" no infinito?
Conheço funções como nextafter*e nexttoward*em C, next_upem Rust, etc. Elas estão relacionadas, mas não me fornecem o valor que preciso.