microVAX emulator bug in 4.3BSD

[jqj at gvax.UUCP]

About a month ago a serious bug was reported in the VAX instruction
emulation code that is distributed as part of 4.3BSD
(/sys/machine/emulate.s).  To refresh your memory, the following 
program behaves incorrectly on a microVAX running 4.3 :

    main()
    {	float hpos = 0.9;
	printf("%.0f\n", hpos);
	printf("Correct answer is 1; 4.3BSD on uVAX gives 0\n");
    }

Besides verifying that the problem exists only in the 4.3BSD kernel and 
not on a microVAX running Ultrix 1.2, I have not made any progress in 
fixing the problem.  Has anyone else?