Hi Adhemerval, This looks good. The ieee754 symbols will be changed in follow-on patches and so we always end up with error handling as expected. Reviewed-by: Wilco Dijkstra <Wilco.Dijkstra@arm.com> Cheers, Wilco