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