Safe-floating-point-math Packages