A.1 利用IEEE NUMERIC STD包中的函数进行类型转换