Add a test for finite fields.