alpha: Fix float_t in bits/mathdef.h