float128_tがあってもFLT_MAXは64ビットという闇