Port from ieee754 to aeq.