An efficient and proven correctly-rounded mathematical library
