Tests for module 'sqrt-ieee'.