1wordsize-32
2# 68k uses IEEE 754 floating point.
3ieee754/dbl-64
4ieee754/flt-32
5