Strange FP problems

While trying to build a kernel on amd64, I always get this error:

$ make emu10k1-alsa%diked.h
CC=cc AWK=awk sh ../../../tools/emu10k1-mkalsa.sh ../../../gnu/dev/sound/pci/emu
10k1-alsa.h emu10k1-alsa%diked.h
awk: floating point exception 8
 input record number 84, file
 source line number 3

The input record in question is this:
#define __DBL_DENORM_MIN__ 4.9406564584124654e-324

I can easily reproduce the problem with:
$ echo 4.9406564584124654e-324 | awk '{ print; }'
awk: floating point exception 8
 source line number 1

That command succeeds on sledge.freebsd.org, and it can successfully
compile a kernel.

I'm using a top-of-the-tree (as of this writing) GENERIC kernel built
on a known-good machine (sledge), and the problems even occur with
a static awk binary built on sledge.

Ideas?


Tim