この資料をSMS送信: Towards A Mathematical Library for UNUMs, An Alternative to IEEE 754 Floating Point Numbers