Floating point spec IEEE 754 revision targeted for 2018 · HackerTrans