# Alpha uses IEEE 754 floating point.
ieee754