値を保全する型変換 (Value Preserving Type Conversion)