FPU_UNKNOWN
if (fputype == FPU_UNKNOWN) {
if (fputype < 0 || fputype > FPU_UNKNOWN) {
fputype = FPU_UNKNOWN;
if (fputype != FPU_UNKNOWN) {
int fputype = FPU_UNKNOWN;
if (fputype != FPU_UNKNOWN) {
default: return FPU_UNKNOWN;