Tests for module 'exp-ieee'.