We used to need workarounds when we used scanf() to parse float numbers, but now we use strtof() which supports "inf" properly. On the other hand, on some platforms it is the workaround that now fails with a range error.