8 LRLLIB : 実数値の比較