VAX 2000 FPU test ?