Environment and library for safe floating-point code development
