HAVE_FPU: make constant