Floating point
codice_11は少なくともcodice_12と同じ精度を持つ浮動小数点数型。処理系によっては拡張倍精度浮動小数点数型となる。