fpsetmask() seems to be broken on NetBSD/Alpha-1.3I

The following program always dumps core on fpsetmask().

#include <stdio.h>
#include <ieeefp.h>

int main()
{

        printf("About to call fpsetmask(0x00)\n");
        fpsetmask(0x00);
        printf("Returned from fpsetmask(0x00)\n");

        exit(0);
}

% gcc -o tst tst.c
% ./tst
About to call fpsetmask(0x00)
Abort (core dumped)


This works on some of the other ports.  Is this a known bug?  Is there
another way to trap/ignore floating point exceptions?

-Dan