ieee754 0.7.4.