Berkeley IEEE Binary Floating-Point Library
