为解决Ｋｅｉｌ　Ｃ５１环境下无法进行６４位双精度计算的问题，采用分部存储和分部计算的方法，设计了在Ｋｅｉｌ　Ｃ５１环境下符合ＩＥＥＥ－７５４标准的６４位浮点库．程序用Ｃ５１语言实现，具有很强的可移植性．在浮点库设计完成后编写了测试代码进行耗时测试，测试中加法运算耗时低于５ｍｓ，乘除法运算耗时低于４０ｍｓ，结果表明，可以满足绝大多数实时性要求不高的工程需要，降低了工程的设计门槛和开发成本，为８０５１核系列单片机提供了更广泛的应用空间．