Sollya is both a tool environment and a library for safe floating-point code development
