/* The generic version of get-rounding-mode.h using fpu_control.h, not
the one using the software rounding mode, is correct for e500. */
#include <sysdeps/generic/get-rounding-mode.h>