Depending on the configuration, GDB may be able to give you more information about the status of the floating point hardware.
info float
info float
' is supported on
the ARM and x86 machines.
Packaging copyright © 1988-2000 OAR Corporation
Context copyright by each document's author. See Free Software Foundation for information.