Generate correctly rounded math libraries for new floating point variants | Hacker News Reader