浮点数 阶码 双倍字长 自陷 巨型计算机 操作指令 操作数 舍入方式 双字长 下溢 非规格化数 算法