half-float 型変換の組込み関数