14 REALLIB : 実数の変換