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.