The ARM family uses IEEE floating-point numbers.
This document was generated by Build Daemon user on October, 25 2005 using texi2html 1.76.