floating point under Microport

[Wietse Z. Venema]

In article <612 at cimcor.mn.org|, mike at cimcor.mn.org (Michael Grenier) writes:
| OK, if this is a compiler bug, I might finally admit that
| SCO is better (and it will hurt too!).
| 
| #include <stdio.h>
| main()
| {
| 	float a;
| 	a=2.0;
| 	printf("%f\n",a);
| }
| 
| 
| Does this work on anyone's 286?

On an AT clone, no 80287, running Uport 2.3 the program prints 2.000000
as it should. 
-- 
work:	wswietse at eutrc3.uucp	| Eindhoven University of Technology
work:	wswietse at heitue5.bitnet	| Mathematics and Computing Science
home:	wietse at wzv.uucp		| 5600 MB Eindhoven, The Netherlands