martin 53f08c908d Do not use IEEE 754 specific functions for VAX		2017-07-23 09:50:54 +00:00
..
Makefile.inc	Do not use IEEE 754 specific functions for VAX	2017-07-23 09:50:54 +00:00