floatが4byteであるって規格されてるの?
doubleがその2倍の情報量だって規格されてるの?
floatが16byteでdoubleが8バイトって違法?